A First-Order Framework for Inquisitive Modal Logic

Silke Meißner, Martin Otto

Type: Preprint

Publication Date: 2019-06-12

Citations: 1

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	A First-Order Framework for Inquisitive Modal Logic	2019	Silke Meißner Martin Otto
+ PDF Chat	A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC	2021	Silke Meißner Martin Otto
+ PDF Chat	Bisimulation in Inquisitive Modal Logic	2017	Ivano Ciardelli Martin Otto
+ PDF Chat	INQUISITIVE BISIMULATION	2020	Ivano Ciardelli Martin Otto
+	Inquisitive bisimulation	2018	Ivano Ciardelli Martin Otto
+	On the expressive power of inquisitive epistemic logic	2023	Ivano Ciardelli Martin Otto
+	On intermediate inquisitive and dependence logics: An algebraic study	2022	Davide Emilio Quadrellaro
+	On Intermediate Inquisitive and Dependence Logics: An Algebraic Study	2021	Davide Emilio Quadrellaro
+	Hennessy-Milner Properties via Topological Compactness	2021	Jim de Groot Dirk Pattinson
+	Implicit Kripke Semantics and Ultraproducts in Stratified Institutions	2016	Răzvan Diaconescu
+	Implicit Kripke Semantics and Ultraproducts in Stratified Institutions	2016	Răzvan Diaconescu
+ PDF Chat	Implicit Kripke semantics and ultraproducts in stratified institutions	2016	Răzvan Diaconescu
+ PDF Chat	Questions and Dependency in Intuitionistic Logic	2019	Ivano Ciardelli Rosalie Iemhoff Fan Yang
+ PDF Chat	Complexity of the Model Checking problem for inquisitive propositional and modal logic	2024	Gianluca Grilletti Ivano Ciardelli
+	Profiniteness, Monadicity and Universal Models in Modal Logic	2023	Matteo De Berardinis Silvio Ghilardi
+	The Succinctness of First-order Logic over Modal Logic via a Formula Size Game	2016	Lauri Hella Miikka Vilander
+	Rational Closure in SHIQ	2014	Laura Giordano Valentina Gliozzi Nicola Olivetti Gian Luca Pozzato
+	Rational Closure in SHIQ	2014	Laura Giordano Valentina Gliozzi Nicola Olivetti Gian Luca Pozzato
+	The succinctness of first-order logic over modal logic via a formula size game.	2016	Lauri Hella Miikka Vilander
+	On Free Description Logics with Definite Descriptions	2021	Alessandro Artale Andrea Mazzullo Ana Ozaki Frank Wolter

Works That Cite This (1)

Action	Title	Year	Authors
+	Inquisitive bisimulation	2018	Ivano Ciardelli Martin Otto

Works Cited by This (2)

Action	Title	Year	Authors
+	Inquisitive bisimulation	2018	Ivano Ciardelli Martin Otto
+ PDF Chat	Neighbourhood Structures: Bisimilarity and Basic Model Theory	2009	Helle Hvid Hansen Clemens Kupke Eric Pacuit