Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information

Pietro Galliani

Type: Article

Publication Date: 2011-09-26

Citations: 178

DOI: https://doi.org/10.1016/j.apal.2011.08.005

View Publication

Download PDF

Locations

Annals of Pure and Applied Logic - View
arXiv (Cornell University) - View - PDF

Similar Works

Action	Title	Year	Authors
+	Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information	2011	Pietro Galliani
+ PDF Chat	Dynamic Logics of Imperfect Information: From Teams and Games to Transitions	2018	Pietro Galliani
+	Dynamic Logics of Imperfect Information: from Teams and Games to Transitions	2011	Pietro Galliani
+ PDF Chat	Axiomatizations of team logics	2018	Martin Lück
+ PDF Chat	Safe dependency atoms and possibility operators in team semantics	2020	Pietro Galliani
+	Upwards closed dependencies in team semantics	2015	Pietro Galliani
+ PDF Chat	Propositional team logics	2017	Fan Yang Jouko Väänánen
+ PDF Chat	Enumerating teams in first-order team logics	2022	Anselm Haak Arne Meier F. Müller Heribert Vollmer
+	On the complexity of linear temporal logic with team semantics	2020	Martin Lück
+ PDF Chat	Probabilistic Team Semantics	2018	Arnaud Durand Miika Hannula Juha Kontinen Arne Meier Jonni Virtema
+	Intelligence in Strategic Games	2019	Pavel Naumov Yuan Yuan
+ PDF Chat	SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION	2019	Fausto Barbero
+	Characterising modal definability of team-based logics via the universal modality	2019	Katsuhiko Sano Jonni Virtema
+	Dynamic Epistemic Logic of Resource Bounded Information Mining Agents	2024	Vitaliy Dolgorukov Rustam Galimullin Maksim Gladyshev
+	Knowledge Sharing in Coalitions	2015	Guifei Jiang Dongmo Zhang Laurent Perrussel
+	Duty to Warn in Strategic Games	2019	Pavel Naumov Tao Jia
+ PDF Chat	Epistemic Logic with Partial Dependency Operator	2019	Xinyu Wang
+	Strongly First Order, Domain Independent Dependencies: the Union-Closed Case	2022	Pietro Galliani
+ PDF Chat	Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge	2012	Mai Ajspur Valentin Goranko Dmitry Shkatov
+	Theory of Linear Order in Extended Logics	1995	Heinrich Herre

Works That Cite This (117)

Action	Title	Year	Authors
+ PDF Chat	Propositional team logics	2017	Fan Yang Jouko Väänánen
+ PDF Chat	Safe dependency atoms and possibility operators in team semantics	2020	Pietro Galliani
+ PDF Chat	Modal independence logic:	2016	Juha Kontinen Julian-Steffen Müller Henning Schnoor Heribert Vollmer
+ PDF Chat	Complexity of syntactical tree fragments of Independence-Friendly logic	2020	Fausto Barbero
+ PDF Chat	Approximation and Dependence via Multiteam Semantics	2016	Arnaud Durand Miika Hannula Juha Kontinen Arne Meier Jonni Virtema
+	Characterizing Relative Frame Definability in Team Semantics via the Universal Modality	2016	Katsuhiko Sano Jonni Virtema
+	Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics	2015	Lauri Hella Antti Kuusisto Arne Meier Heribert Vollmer
+	Inquisitive bisimulation	2018	Ivano Ciardelli Martin Otto
+	Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic	2019	Yasir Mahmood Arne Meier
+	Logics for Propositional Determinacy and Independence	2016	Valentin Goranko Antti Kuusisto

Works Cited by This (9)

Action	Title	Year	Authors
+	The Principles of Mathematics Revisited	1996	Jaakko Hintikka
+	A shorter model theory	1997	Wilfrid Hodges
+ PDF Chat	Dependence and Independence	2013	Erich Grädel Jouko Väänánen
+ PDF Chat	Expressing Second-order Sentences in Intuitionistic Dependence Logic	2013	Fan Yang
+ PDF Chat	Hierarchies in Dependence Logic	2012	Arnaud Durand Juha Kontinen
+	From IF to BI: a tale of dependence and separation	2011	Samson Abramsky Jouko Väänánen
+	Hierarchies in Dependence Logic	2011	Arnaud Durand Juha Kontinen
+ PDF Chat	Generalized Quantifiers in Dependence Logic	2012	Fredrik Engström
+	The principles of mathematics revisited	1997