MIPC as the formalisation of an intuitionist concept of modality

DOI10.2307/2269696zbMath0192.03001OpenAlexW2000571555MaRDI QIDQ5586229

R. A. Bull

Publication date: 1966

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269696

zbMATH Keywords

general logic

Related Items (24)

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Decidability of order-based modal logics ⋮ Models for normal intuitionistic modal logics ⋮ Models for stronger normal intuitionistic modal logics ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Neighbourhood semantics for modal relevant logics ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics ⋮ Talkin'bout consistency, or: When logically possible becomes possible ⋮ A general method for proving decidability of intuitionistic modal logics ⋮ On modal logic with an intuitionistic base ⋮ On some intuitionistic modal logics ⋮ Unnamed Item ⋮ Undecidability of First-Order Intuitionistic and Modal Logics with Two variables ⋮ On the Finite Model Property of Intuitionistic Modal Logics over MIPC ⋮ Constructive modal logics. I ⋮ Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics ⋮ A strong completeness theorem in intuitionistic quantified modal logic ⋮ Meeting of the Association for Symbolic Logic Florence, Italy 1982 ⋮ A uniform tableau method for intuitionistic modal logics. I ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS

Cites Work

• A modal extension of intuitionist logic

This page was built for publication: MIPC as the formalisation of an intuitionist concept of modality