The finite model property for MIPQ and some consequences
From MaRDI portal
Publication:1249166
DOI10.1305/NDJFL/1093888520zbMATH Open0385.03019OpenAlexW2021683372MaRDI QIDQ1249166FDOQ1249166
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
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)
- Title not available (Why is that?)
- 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
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
- Label-free natural deduction systems for intuitionistic and classical modal logics
- 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)
