Models for stronger normal intuitionistic modal logics

DOI10.1007/BF00370809zbMath0634.03015MaRDI QIDQ1096613

Kosta Došen

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logic; intuitionistic logic; modalities; Kripke-style models

Mathematics Subject Classification ID

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

Related Items

Extending possibilistic logic over Gödel logic, Intuitionistic epistemic logic, Kripke models and Fitch's paradox, Constructive modal logics. I, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, A uniform tableau method for intuitionistic modal logics. I, A new semantics for positive modal logic, Periodicity of negation, A strong completeness theorem in intuitionistic quantified modal logic, Tableaux for constructive concurrent dynamic logic, A general method for proving decidability of intuitionistic modal logics, Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics, A first approach to abstract modal logics

Cites Work

• Semantical investigations in Heyting's intuitionistic logic
• A modal extension of intuitionist logic
• A closure and complement result for nested topologies
• MIPC as the formalisation of an intuitionist concept of modality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item