Ivano Ciardelli

Rev. Symb. Log., 2025

2024

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

[BibT_eX]

[DOI]

CoRR, 2024

2023

Games and Cardinalities in Inquisitive First-Order Logic.

[BibT_eX]

[DOI]

Rev. Symb. Log., March, 2023

On the expressive power of inquisitive epistemic logic.

[BibT_eX]

[DOI]

Martin Otto

CoRR, 2023

2022

Coherence in inquisitive first-order logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2022

Describing neighborhoods in inquisitive modal logic.

[BibT_eX]

[DOI]

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

2021

Inquisitive Bisimulation.

[BibT_eX]

[DOI]

Martin Otto

J. Symb. Log., 2021

2020

Questions and Dependency in Intuitionistic Logic.

[BibT_eX]

[DOI]

Rosalie Iemhoff

Fan Yang

Notre Dame J. Formal Log., 2020

Intuitionistic Conditional Logics.

[BibT_eX]

[DOI]

Xinghan Liu

J. Philos. Log., 2020

Indicative Conditionals and Graded Information.

[BibT_eX]

[DOI]

J. Philos. Log., 2020

2019

Correction to: Questions as information types.

[BibT_eX]

[DOI]

Synth., 2019

Minimal-Change Counterfactuals in Intuitionistic Logic.

[BibT_eX]

[DOI]

Xinghan Liu

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

Undefinability in Inquisitive Logic with Tensor.

[BibT_eX]

[DOI]

Fausto Barbero

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

2018

Questions as information types.

[BibT_eX]

[DOI]

Synth., 2018

Dependence Statements Are Strict Conditionals.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 12, 2018

2017

Bisimulation in Inquisitive Modal Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2016

Propositional inquisitive logic: a survey.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2016

Dependency as Question Entailment.

[BibT_eX]

[DOI]

Proceedings of the Dependence Logic, Theory and Applications, 2016

2015

Inquisitive dynamic epistemic logic.

[BibT_eX]

[DOI]

Synth., 2015

On the semantics and logic of declaratives and interrogatives.

[BibT_eX]

[DOI]

Jeroen Groenendijk

Synth., 2015

2014

Interrogative Dependencies and the Constructive Content of Inquisitive Proofs.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 10, 2014

2013

Inquisitive Semantics: A New Notion of Meaning.

[BibT_eX]

[DOI]

Jeroen Groenendijk

Lang. Linguistics Compass, 2013

2011

Inquisitive Logic.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

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

[BibT_eX]

[DOI]

Jeroen Groenendijk

Proceedings of the Logic, Language, and Computation, 2011

2009

Generalized inquisitive logic: completeness via intuitionistic Kripke models.

[BibT_eX]

[DOI]

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

Computing Compliance.

[BibT_eX]

[DOI]

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

A First-Order Inquisitive Semantics.

[BibT_eX]

[DOI]