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

DOI10.1016/j.apal.2009.07.009zbMath1221.03019MaRDI 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

bisimulations; saturation; modal logics; topological semantics; temporal logics; intuitionistic semantics; topological Kripke frames

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B70: Logic in computer science

03B44: Temporal logic

Related Items

The intuitionistic temporal logic of dynamical systems, COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS, Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic, Hennessy-Milner properties via topological compactness

Cites Work

• 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
• 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