Switch to: References

Add citations

You must login to add citations.
  1. A Logic of Temporal Contingency.Jie Fan - forthcoming - Erkenntnis:1-30.
    We propose a logic of temporal contingency, which has operators of past and future contingency as primitive modalities. This logic is less expressive than standard temporal logic over the class of bidirectional frames, and cannot define some basic frame properties such as bidirectionality and transitivity. We present a minimal system based on two key ‘bridge axioms’ and a bimodal version of a so-called ‘almost definability’ schema in the literature. The completeness proof is highly nontrivial due to the requirement that the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations.Jie Fan - 2021 - Logica Universalis 15 (2):123-147.
    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  
     
    Export citation  
     
    Bookmark   1 citation