The Doxastic Interpretation of Team Semantics

We advance a doxastic interpretation for many of the logical connectives considered in Dependence Logic and in its extensions, and we argue that Team Semantics is a natural framework for reasoning about beliefs and belief updates.

[1]  Merlijn Sevenster,et al.  Equilibrium semantics of languages of imperfect information , 2010, Ann. Pure Appl. Log..

[2]  Wilfrid Hodges,et al.  Compositional Semantics for a Language of Imperfect Information , 1997, Log. J. IGPL.

[3]  Pietro Galliani,et al.  Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information , 2011, Ann. Pure Appl. Log..

[4]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[5]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[6]  Arnaud Durand,et al.  Hierarchies in Dependence Logic , 2011, TOCL.

[7]  Allen L. Mann,et al.  Independence-friendly cylindric set algebras , 2007, Log. J. IGPL.

[8]  Juha Kontinen,et al.  Characterizing quantifier extensions of dependence logic , 2012, The Journal of Symbolic Logic.

[9]  Eduardo L. Fermé,et al.  Belief Revision , 2007, Inteligencia Artif..

[10]  Janeen Baxter,et al.  DEPENDENCE AND INDEPENDENCE , 1995 .

[11]  Juha Kontinen,et al.  On Definability in Dependence Logic , 2009, J. Log. Lang. Inf..

[12]  Juha Kontinen,et al.  Team Logic and Second-Order Logic , 2011, Fundam. Informaticae.

[13]  Fredrik Engström,et al.  Generalized Quantifiers in Dependence Logic , 2012, J. Log. Lang. Inf..

[14]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[15]  J. Hintikka.  The Principles of Mathematics Revisited: Introduction , 1996 .

[16]  Erich Grädel,et al.  Dependence and Independence , 2012, Stud Logica.

[17]  Jouko Väänänen,et al.  Team Logic , 2007 .

[18]  J. Väänänen,et al.  Modal Dependence Logic , 2008 .

[19]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[20]  Pietro Galliani,et al.  Game values and equilibria for undetermined sentences of Dependence Logic , 2008 .

[21]  Jouko Väänänen,et al.  From IF to BI , 2009, Synthese.

[22]  Merlijn Sevenster,et al.  Independence-Friendly Logic - a Game-Theoretic Approach , 2011, London Mathematical Society lecture note series.

[23]  Pietro Galliani,et al.  On Dependence Logic , 2013, Johan van Benthem on Logic and Information Dynamics.

[24]  Arthur P. Dempster,et al.  Upper and Lower Probabilities Induced by a Multivalued Mapping , 1967, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[25]  Dov M. Gabbay,et al.  Interactive logic: selected papers from the 7th Augustus de Morgan workshop, London , 2008 .

[26]  Karl Schlechta,et al.  Distance semantics for belief revision , 1996, Journal of Symbolic Logic.

[27]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.