Ivano Ciardelli

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 20

Top Topics

Epistemic Logic

Expressive Power

Top Venues

J. Philos. Log.

Publications

Gianluca Grilletti, Ivano Ciardelli
Complexity of the Model Checking problem for inquisitive propositional and modal logic. CoRR (2024)
Ivano Ciardelli, Martin Otto
On the expressive power of inquisitive epistemic logic. CoRR (2023)
Gianluca Grilletti, Ivano Ciardelli
Games and Cardinalities in Inquisitive First-Order Logic. Rev. Symb. Log. 16 (1) (2023)
Ivano Ciardelli
Describing neighborhoods in inquisitive modal logic. AiML (2022)
Ivano Ciardelli, Gianluca Grilletti
Coherence in inquisitive first-order logic. Ann. Pure Appl. Log. 173 (9) (2022)
Ivano Ciardelli, Martin Otto
Inquisitive Bisimulation. J. Symb. Log. 86 (1) (2021)
Ivano Ciardelli, Xinghan Liu
Intuitionistic Conditional Logics. J. Philos. Log. 49 (4) (2020)
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
Questions and Dependency in Intuitionistic Logic. Notre Dame J. Formal Log. 61 (1) (2020)
Ivano Ciardelli
Indicative Conditionals and Graded Information. J. Philos. Log. 49 (3) (2020)
Ivano Ciardelli, Fausto Barbero
Undefinability in Inquisitive Logic with Tensor. LORI (2019)
Ivano Ciardelli
Correction to: Questions as information types. Synth. 196 (11) (2019)
Ivano Ciardelli, Xinghan Liu
Minimal-Change Counterfactuals in Intuitionistic Logic. LORI (2019)
Ivano Ciardelli
Dependence Statements Are Strict Conditionals. Advances in Modal Logic (2018)
Ivano Ciardelli
Questions as information types. Synth. 195 (1) (2018)
Ivano Ciardelli, Martin Otto
Inquisitive bisimulation. CoRR (2018)
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
Questions and dependency in intuitionistic logic. CoRR (2017)
Ivano Ciardelli
The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities. LORI (2017)
Ivano Ciardelli, Martin Otto
Bisimulation in Inquisitive Modal Logic. TARK (2017)
Gianluca Grilletti, Ivano Ciardelli
An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic. TbiLLC (2017)
Ivano Ciardelli
Propositional inquisitive logic: a survey. Comput. Sci. J. Moldova 24 (3) (2016)
Ivano Ciardelli, Floris Roelofsen
Inquisitive dynamic epistemic logic. Synth. 192 (6) (2015)
Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen
On the semantics and logic of declaratives and interrogatives. Synth. 192 (6) (2015)
Ivano Ciardelli
Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic. Advances in Modal Logic (2014)
Ivano Ciardelli
Interrogative Dependencies and the Constructive Content of Inquisitive Proofs. WoLLIC (2014)
Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen
Inquisitive Semantics: A New Notion of Meaning. Lang. Linguistics Compass 7 (9) (2013)
Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen
Towards a Logic of Information Exchange - An Inquisitive Witness Semantics. TbiLLC (2011)
Ivano Ciardelli, Floris Roelofsen
Inquisitive Logic. J. Philos. Log. 40 (1) (2011)
Ivano Ciardelli, Floris Roelofsen
Generalized inquisitive logic: completeness via intuitionistic Kripke models. TARK (2009)
Ivano Ciardelli
A First-Order Inquisitive Semantics. Amsterdam Colloquium on Logic, Language and Meaning (2009)
Ivano Ciardelli, Irma Cornelisse, Jeroen Groenendijk, Floris Roelofsen
Computing Compliance. LORI (2009)