On modal logic with an intuitionistic base

DOI10.1007/BF02121259zbMath0364.02015MaRDI QIDQ1240729

Gisele Fischer Servi

Publication date: 1977

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Related Items (29)

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ A dual-context sequent calculus for the constructive modal logic S4 ⋮ Intuitionistic non-normal modal logics: a general framework ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Models for normal intuitionistic modal logics ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ Interconnection of the lattices of extensions of four logics ⋮ Implication via spacetime ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Temporal Equilibrium Logic with past operators ⋮ Thirty years of Epistemic Specifications ⋮ Semiproducts, products, and modal predicate logics: some examples ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ On classical behavior of intuitionistic modalities ⋮ Intuitionism and the modal logic of vagueness ⋮ Almost duplication-free tableau calculi for prepositional lax logics ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ On Displaying Negative Modalities ⋮ On the Finite Model Property of Intuitionistic Modal Logics over MIPC ⋮ Constructive modal logics. I ⋮ Autoepistemic equilibrium logic and epistemic specifications ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics ⋮ Unnamed Item ⋮ On the Blok-Esakia Theorem ⋮ The G4i analogue of a G3i sequent calculus ⋮ A uniform tableau method for intuitionistic modal logics. I ⋮ Hilbert algebras with a modal operator \(\diamondsuit\) ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS

Cites Work

• Unnamed Item
• Unnamed Item
• A modal extension of intuitionist logic
• Algebraic semantics for modal logics I
• Logics With Several Modal Operators
• MIPC as the formalisation of an intuitionist concept of modality

This page was built for publication: On modal logic with an intuitionistic base