Models for normal intuitionistic modal logics

From MaRDI portal
Publication:1096612

DOI10.1007/BF02429840zbMath0634.03014MaRDI QIDQ1096612

Kosta Došen, Milan Božić

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