Models for normal intuitionistic modal logics
From MaRDI portal
Publication:1096612
DOI10.1007/BF02429840zbMath0634.03014MaRDI QIDQ1096612
Publication date: 1984
Published in: Studia Logica (Search for Journal in Brave)
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