On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations

DOI10.1016/J.APAL.2009.07.009zbMath1221.03019OpenAlexW2107457797MaRDI QIDQ636275

J. M. Davoren

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.07.009

zbMATH Keywords

bisimulationssaturationmodal logicstopological semanticstemporal logicsintuitionistic semanticstopological Kripke frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Temporal logic (03B44)

Related Items (7)

Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Hennessy-Milner properties via topological compactness ⋮ COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ Intuitionistic propositional logic with Galois negations ⋮ Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic ⋮ The intuitionistic temporal logic of dynamical systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive modal logics. I
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• On modal logic with an intuitionistic base
• Varieties of monadic Heyting algebras. II: Duality theory
• Many-dimensional modal logics: theory and applications
• Topological duality for intuitionistic modal algebras
• The algebra of topology
• On Simulations and Bisimulations of General Flow Systems
• Intuitionistic tense and modal logic
• Algebraic laws for nondeterminism and concurrency
• Reasoning About Space: The Modal Way
• Topologies, Continuity and Bisimulations
• Impulse differential inclusions: a viability approach to hybrid systems
• Hybrid Systems: Computation and Control
• MIPC as the formalisation of an intuitionist concept of modality
• Set-valued analysis
• Bisimulation and propositional intuitionistic logic

This page was built for publication: On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations