The finite model property for MIPQ and some consequences
From MaRDI portal
Publication:1249166
DOI10.1305/ndjfl/1093888520zbMath0385.03019OpenAlexW2021683372MaRDI QIDQ1249166
Publication date: 1978
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093888520
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Intuitionistic mathematics (03F55)
Related Items (9)
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Label-free natural deduction systems for intuitionistic and classical modal logics ⋮ Models for normal intuitionistic modal logics ⋮ Undecidability of modal and intermediate first-order logics with two individual variables ⋮ Basic intuitionistic conditional logic ⋮ Decidable fragments of first-order modal logics ⋮ Unnamed Item ⋮ A uniform tableau method for intuitionistic modal logics. I ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
This page was built for publication: The finite model property for MIPQ and some consequences
