Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations

Logica Universalis 15 (2):123-147 (2021)


In this paper, a suitable notion of bisimulation is proposed for the bimodal logic with contingency and accident. We obtain several van Benthem Characterization Theorems, and axiomatize the bimodal logic over the class of Eulidean frames and over some more restricted classes, showing their strong completeness via a novel strategy, thereby answering two open questions raised in the literature. With the new bisimulation notion, we also correct an error in the expressivity results in the literature.

Download options


    Upload a copy of this work     Papers currently archived: 72,660

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

8 (#1,013,715)

6 months
1 (#388,784)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

Bimodal Logics with Contingency and Accident.Jie Fan - 2019 - Journal of Philosophical Logic 48 (2):425-445.
A Family of Neighborhood Contingency Logics.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (4):683-699.
Logics of (In)Sane and (Un)Reliable Beliefs.Jie Fan - 2022 - Logic Journal of the IGPL 30 (1):78-100.
A Bimodal Perspective on Possibility Semantics.Johan van Benthem, Nick Bezhanishvili & Wesley H. Holliday - 2017 - Journal of Logic and Computation 27 (5):1353–1389.
Modal Characterisation Theorems Over Special Classes of Frames.Anuj Dawar & Martin Otto - 2010 - Annals of Pure and Applied Logic 161 (1):1-42.
A Modal Logic of Supervenience.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (2):283-309.
Minimal Non-Contingency Logic.Steven T. Kuhn - 1995 - Notre Dame Journal of Formal Logic 36 (2):230-234.
A Course on Bimodal Provability Logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.

Author's Profile

References found in this work

A Reply to My Critics.George Edward Moore - 1942 - In Paul Arthur Schilpp (ed.), The Philosophy of G. E. Moore. Open Court.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
A Logical Analysis of Some Value Concepts.Frederic Fitch - 1963 - Journal of Symbolic Logic 28 (2):135-142.
Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
Reflexive-Insensitive Modal Logics.David R. Gilbert & Giorgio Venturi - 2016 - Review of Symbolic Logic 9 (1):167-180.

View all 20 references / Add more references

Citations of this work

A Unified Logic for Contingency and Accident.Jie Fan - 2022 - Journal of Philosophical Logic 51 (4):693-720.

Add more citations