Ivano Ciardelli

34 papers B 5C 1Journal 20Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	On the expressive power of inquisitive team logic and inquisitive first-order logic. CoRR Juha Kontinen, Ivano Ciardelli
2025	J	`jnl`	Global supervenience in Inquisitive Modal Logic. Rev. Symb. Log. Ivano Ciardelli
2025	J	`jnl`	Inquisitive Neighborhood Logic. J. Log. Lang. Inf. Ivano Ciardelli
2024	J	`jnl`	Complexity of the Model Checking problem for inquisitive propositional and modal logic. CoRR Gianluca Grilletti, Ivano Ciardelli
2023	J	`jnl`	Games and Cardinalities in Inquisitive First-Order Logic. Rev. Symb. Log. Gianluca Grilletti, Ivano Ciardelli
2023	J	`jnl`	On the expressive power of inquisitive epistemic logic. CoRR Ivano Ciardelli, Martin Otto
2022	J	`jnl`	Coherence in inquisitive first-order logic. Ann. Pure Appl. Log. Ivano Ciardelli, Gianluca Grilletti
2022	B	`conf`	Describing neighborhoods in inquisitive modal logic. AiML Ivano Ciardelli
2021	J	`jnl`	Inquisitive Bisimulation. J. Symb. Log. Ivano Ciardelli, Martin Otto
2020	J	`jnl`	Indicative Conditionals and Graded Information. J. Philos. Log. Ivano Ciardelli
2020	J	`jnl`	Intuitionistic Conditional Logics. J. Philos. Log. Ivano Ciardelli, Xinghan Liu
2020	J	`jnl`	Questions and Dependency in Intuitionistic Logic. Notre Dame J. Formal Log. Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
2019	J	`jnl`	Correction to: Questions as information types. Synth. Ivano Ciardelli
2019	—	`conf`	Minimal-Change Counterfactuals in Intuitionistic Logic. LORI Ivano Ciardelli, Xinghan Liu
2019	—	`conf`	Undefinability in Inquisitive Logic with Tensor. LORI Ivano Ciardelli, Fausto Barbero
2018	B	`conf`	Dependence Statements Are Strict Conditionals. Advances in Modal Logic Ivano Ciardelli
2018	J	`jnl`	Inquisitive bisimulation. CoRR Ivano Ciardelli, Martin Otto
2018	J	`jnl`	Questions as information types. Synth. Ivano Ciardelli
2017	—	`conf`	An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic. TbiLLC Gianluca Grilletti, Ivano Ciardelli
2017	B	`conf`	Bisimulation in Inquisitive Modal Logic. TARK Ivano Ciardelli, Martin Otto
2017	J	`jnl`	Questions and dependency in intuitionistic logic. CoRR Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
2017	—	`conf`	The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities. LORI Ivano Ciardelli
2016	—	`ch.`	Dependency as Question Entailment. Dependence Logic Ivano Ciardelli
2016	J	`jnl`	Propositional inquisitive logic: a survey. Comput. Sci. J. Moldova Ivano Ciardelli
2015	J	`jnl`	Inquisitive dynamic epistemic logic. Synth. Ivano Ciardelli, Floris Roelofsen
2015	J	`jnl`	On the semantics and logic of declaratives and interrogatives. Synth. Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen
2014	C	`conf`	Interrogative Dependencies and the Constructive Content of Inquisitive Proofs. WoLLIC Ivano Ciardelli
2014	B	`conf`	Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic. Advances in Modal Logic Ivano Ciardelli
2013	J	`jnl`	Inquisitive Semantics: A New Notion of Meaning. Lang. Linguistics Compass Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen
2011	J	`jnl`	Inquisitive Logic. J. Philos. Log. Ivano Ciardelli, Floris Roelofsen
2011	—	`conf`	Towards a Logic of Information Exchange - An Inquisitive Witness Semantics. TbiLLC Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen
2009	—	`conf`	A First-Order Inquisitive Semantics. Amsterdam Colloquium on Logic, Language and Meaning Ivano Ciardelli
2009	—	`conf`	Computing Compliance. LORI Ivano Ciardelli, Irma Cornelisse, Jeroen Groenendijk, Floris Roelofsen
2009	B	`conf`	Generalized inquisitive logic: completeness via intuitionistic Kripke models. TARK Ivano Ciardelli, Floris Roelofsen