Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation