Ivano Ciardelli

According to our database, Ivano Ciardelli authored at least 28 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Complexity of the Model Checking problem for inquisitive propositional and modal logic.

Gianluca Grilletti, Ivano Ciardelli

CoRR, 2024

2023

Games and Cardinalities in Inquisitive First-Order Logic.

Gianluca Grilletti, Ivano Ciardelli

Rev. Symb. Log., March, 2023

2022

Coherence in inquisitive first-order logic.

Ivano Ciardelli, Gianluca Grilletti

Ann. Pure Appl. Log., 2022

Describing neighborhoods in inquisitive modal logic.

Ivano Ciardelli

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Inquisitive Bisimulation.

Ivano Ciardelli, Martin Otto

J. Symb. Log., 2021

2020

Questions and Dependency in Intuitionistic Logic.

Ivano Ciardelli, Rosalie Iemhoff, Fan Yang

Notre Dame J. Formal Log., 2020

Intuitionistic Conditional Logics.

Ivano Ciardelli, Xinghan Liu

J. Philos. Log., 2020

Indicative Conditionals and Graded Information.

Ivano Ciardelli

J. Philos. Log., 2020

2019

Correction to: Questions as information types.

Ivano Ciardelli

Synth., 2019

Minimal-Change Counterfactuals in Intuitionistic Logic.

Ivano Ciardelli, Xinghan Liu

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Undefinability in Inquisitive Logic with Tensor.

Ivano Ciardelli, Fausto Barbero

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2018

Questions as information types.

Ivano Ciardelli

Synth., 2018

Dependence Statements Are Strict Conditionals.

Ivano Ciardelli

Proceedings of the Advances in Modal Logic 12, 2018

2017

Bisimulation in Inquisitive Modal Logic.

Ivano Ciardelli, Martin Otto

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic.

Gianluca Grilletti, Ivano Ciardelli

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities.

Ivano Ciardelli

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016

Propositional inquisitive logic: a survey.

Ivano Ciardelli

Comput. Sci. J. Moldova, 2016

Dependency as Question Entailment.

Ivano Ciardelli

Proceedings of the Dependence Logic, Theory and Applications, 2016

2015

Inquisitive dynamic epistemic logic.

Ivano Ciardelli, Floris Roelofsen

Synth., 2015

On the semantics and logic of declaratives and interrogatives.

Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen

Synth., 2015

2014

Interrogative Dependencies and the Constructive Content of Inquisitive Proofs.

Ivano Ciardelli

Proceedings of the Logic, Language, Information, and Computation, 2014

Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic.

Ivano Ciardelli

Proceedings of the Advances in Modal Logic 10, 2014

2013

Inquisitive Semantics: A New Notion of Meaning.

Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen

Lang. Linguistics Compass, 2013

2011

Inquisitive Logic.

Ivano Ciardelli, Floris Roelofsen

J. Philos. Log., 2011

Towards a Logic of Information Exchange - An Inquisitive Witness Semantics.

Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen

Proceedings of the Logic, Language, and Computation, 2011

2009

Generalized inquisitive logic: completeness via intuitionistic Kripke models.

Ivano Ciardelli, Floris Roelofsen

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Computing Compliance.

Ivano Ciardelli, Irma Cornelisse, Jeroen Groenendijk, Floris Roelofsen

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

A First-Order Inquisitive Semantics.

Ivano Ciardelli

Proceedings of the Logic, Language and Meaning - 17th Amsterdam Colloquium, 2009