The finite model property for MIPQ and some consequences

DOI10.1305/NDJFL/1093888520MaRDI QIDQ1249166zbMATH OpenOpenAlexFDO

Authors Gisele Fischer Servi

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Intuitionistic mathematics (03F55)

Cited in

(9)

• scientific article; zbMATH DE number 7561348 (Why is no real title available?)
• Undecidability of modal and intermediate first-order logics with two individual variables
• Basic intuitionistic conditional logic
• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• Models for normal intuitionistic modal logics
• Decidable fragments of first-order modal logics
• Label-free natural deduction systems for intuitionistic and classical modal logics
• TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
• A uniform tableau method for intuitionistic modal logics. I

This page was built for publication: The finite model property for MIPQ and some consequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1249166)