A modal extension of intuitionist logic
From MaRDI portal
Publication:2521681
DOI10.1305/ndjfl/1093958154zbMath0137.24905OpenAlexW1981678934MaRDI QIDQ2521681
Publication date: 1965
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093958154
Related Items (14)
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Label-free natural deduction systems for intuitionistic and classical modal logics ⋮ Models for normal intuitionistic modal logics ⋮ Models for stronger normal intuitionistic modal logics ⋮ MIPC as the formalisation of an intuitionist concept of modality ⋮ Extending possibilistic logic over Gödel logic ⋮ Three-valued temporal logic \(Q_t\) and future contingents ⋮ Basic intuitionistic conditional logic ⋮ A general method for proving decidability of intuitionistic modal logics ⋮ On modal logic with an intuitionistic base ⋮ On some intuitionistic modal logics ⋮ A strong completeness theorem in intuitionistic quantified modal logic ⋮ A uniform tableau method for intuitionistic modal logics. I ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
This page was built for publication: A modal extension of intuitionist logic
