Neighbourhood Contingency Bisimulation

We introduce a notion of bisimulation for contingency logic interpreted on neighbourhood structures, characterise this logic as bisimulation-invariant fragment of modal logic and of first-order logic, and compare it with existing notions in the literature.

[1]  Alessio Lomuscio,et al.  A logic for ignorance , 2003, DALT.

[2]  Dirk Pattinson,et al.  Coalgebraic modal logic: soundness, completeness and decidability of local consequence , 2003, Theor. Comput. Sci..

[3]  Yanjing Wang,et al.  Almost Necessary , 2014, Advances in Modal Logic.

[4]  Richard Routley,et al.  Contingency and non-contingency bases for normal modal logics , 1966 .

[5]  Helle Hvid Hansen,et al.  Neighbourhood Structures: Bisimilarity and Basic Model Theory , 2009, Log. Methods Comput. Sci..

[6]  Christopher Steinsvold,et al.  A Note on Logics of Ignorance and Borders , 2008, Notre Dame J. Formal Log..

[7]  László Dezsö,et al.  Universal Grammar , 1981, Certainty in Action.

[8]  A. P. Brogan,et al.  IV.—ARISTOTLE'S LOGIC OF STATEMENTS ABOUT CONTINGENCY , 1967 .

[9]  Steven T. Kuhn.  Minimal Non-contingency Logic , 1995, Notre Dame J. Formal Log..

[10]  Dana S. Scott,et al.  Advice on Modal Logic , 1970 .

[11]  Lloyd Humberstone,et al.  The Logic of Non-contingency , 1995, Notre Dame J. Formal Log..

[12]  Corina Cîrstea,et al.  Modal Logics are Coalgebraic , 2008, Comput. J..

[13]  Yanjing Wang,et al.  Beyond knowing that: a new generation of epistemic logics , 2016, ArXiv.

[14]  Hans van Ditmarsch,et al.  Neighborhood Contingency Logic , 2015, ICLA.

[15]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[16]  Claudio Pizzi.  Contingency Logics and Propositional Quantification , 1999 .

[17]  Yanjing Wang,et al.  CONTINGENCY AND KNOWING WHETHER , 2015, The Review of Symbolic Logic.

[18]  Evgeny Zolin,et al.  Completeness and Definability in the Logic of Noncontingency , 1999, Notre Dame J. Formal Log..

[19]  Gabriel Sandu,et al.  Jaakko Hintikka on Knowledge and Game-theoretical Semantics , 2018 .