Models for normal intuitionistic modal logics

DOI10.1007/BF02429840zbMath0634.03014MaRDI QIDQ1096612

Kosta Došen, Milan Božić

Publication date: 1984

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

zbMATH Keywords

modal logicintuitionistic logicKripke-style models

Mathematics Subject Classification ID

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

Related Items

The information in intuitionistic logic, The Došen square under construction: a tale of four modalities, Intuitionistic Epistemology and Modal Logics of Verification, What is a relevant connective?, Infra-topologies revisited: logic and clarification of basic notions, A new semantics for positive modal logic, Hennessy-Milner properties via topological compactness, Lewis meets Brouwer: constructive strict implication, Reflections on Orlov, Normal companions of intuitionistic modal logics, Composition of an intuitionistic negation and negative modalities as a necessity operator, A framework for intuitionistic grammar logics, Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic, The Church-Fitch knowability paradox in the light of structural proof theory, On classical behavior of intuitionistic modalities, Simple and subdirectly irreducibles bounded distributive lattices with unary operators, Almost duplication-free tableau calculi for prepositional lax logics, Intuitionistic epistemic logic, Kripke models and Fitch's paradox, Basic intuitionistic conditional logic, Double Negation Operator in Logic N ∗, INTUITIONISTIC EPISTEMIC LOGIC, Tableaux for constructive concurrent dynamic logic, On Displaying Negative Modalities, A general framework for FDE-based modal logics, Unnamed Item, Unnamed Item, Constructive modal logics. I, Connexive Conditional Logic. Part I, On logics with coimplication, A first approach to abstract modal logics, Uniform interpolation and the existence of sequent calculi, A proof-theoretic approach to negative translations in intuitionistic tense logics, A strong completeness theorem in intuitionistic quantified modal logic, Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics, Constructive Modalities with Provability Smack, A uniform tableau method for intuitionistic modal logics. I, Hilbert algebras with a modal operator \(\diamondsuit\), Logical Foundations and Kant's Principles of Formal Logic, Some modal operators over intuitionistic logic

Cites Work

• A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\)
• Semantical investigations in Heyting's intuitionistic logic
• Intuitionistic modal logics incompatible with the law of the excluded middle
• On modal logic with an intuitionistic base
• The finite model property for MIPQ and some consequences
• A modal extension of intuitionist logic
• A Remark on M. K. Rennie's Paper “Models for Multiply Modal Systems”
• Logics With Several Modal Operators
• MIPC as the formalisation of an intuitionist concept of modality
• Modal logics with linear alternative relations
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• 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