Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics 1st Edition by JM Daroven ISBN 9783540727347

 Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics 1st Edition by JM Daroven – Ebook PDF Instant Download/Delivery. 9783540727347
Full download Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics 1st Edition after payment

Product details:

ISBN 10: 
ISBN 13: 9783540727347
Author: JM Daroven

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 (or partial-order) with the modal accessibility relation generalise 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 topology-preserving conditions are equivalent to the properties that the inverse-relation and the relation are lower semi-continuous with respect to the topologies on the two models. Our first main result is that this notion of topological bisimulation yields semantic preservation w.r.t. topological Kripke models for both intuitionistic tense logics, and for their classical companion multi-modal logics in the setting of the Gödel translation. After giving canonical topological Kripke models for the Hilbert-style axiomatizations of the Fischer Servi logic and its classical multi-modal companion logic, we show that the syntactic Gödel translation induces a natural semantic map from the intuitionistic canonical model into the canonical model of the classical companion logic, and this map is itself a topological bisimulation.

 Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics 1st Table of contents:

• Intuitionistic Modal Logics: An Overview
• Classical Companion Logics
• Topological Semantics for Intuitionistic Modal Logics
• Bisimulations in Modal Logics
• Relationships Between Intuitionistic and Classical Logics
• Proof Systems and Soundness
• Applications and Case Studies
• Challenges and Open Problems
• Future Research Directions

People also search for  Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics 1st:

topological semantics and bisimulations
    
topological semantics
    
topological structure and dynamics of three-dimensional active nematics
    
topology and dynamical systems
    
topological sigma models