Switch to: References

Add citations

You must login to add citations.
  1. On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.Jennifer M. Davoren - 2010 - Annals of Pure and Applied Logic 161 (3):349-367.
    We take the well-known intuitionistic modal logic of Fischer Servi with semantics in bi-relational Kripke frames, and give the natural extension to topological Kripke frames. Fischer Servi’s two interaction conditions relating the intuitionistic pre-order with the modal accessibility relation generalize to the requirement that the relation and its inverse be lower semi-continuous with respect to the topology. We then investigate the notion of topological bisimulation relations between topological Kripke frames, as introduced by Aiello and van Benthem, and show that their (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations