Models for stronger normal intuitionistic modal logics
From MaRDI portal
Publication:1096613
DOI10.1007/BF00370809zbMath0634.03015MaRDI QIDQ1096613
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
Related Items
Intuitionistic Epistemology and Modal Logics of Verification, What is a relevant connective?, A new semantics for positive modal logic, Extending possibilistic logic over Gödel logic, Normal companions of intuitionistic modal logics, Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras, Periodicity of negation, A framework for intuitionistic grammar logics, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, On classical behavior of intuitionistic modalities, Intuitionistic epistemic logic, Kripke models and Fitch's paradox, Basic intuitionistic conditional logic, Implicit and explicit stances in logic, Tableaux for constructive concurrent dynamic logic, A general method for proving decidability of intuitionistic modal logics, Constructive modal logics. I, Connexive Conditional Logic. Part I, A first approach to abstract modal logics, Uniform interpolation and the existence of sequent calculi, Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic, 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, The G4i analogue of a G3i sequent calculus, 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
Cites Work
