A strong completeness theorem in intuitionistic quantified modal logic
From MaRDI portal
Publication:1841473
DOI10.1007/BF02917138zbMath0964.03021MaRDI QIDQ1841473
Publication date: 28 February 2001
Published in: Science in China. Series E (Search for Journal in Brave)
completeness theorem; Zorn's lemma; semantic interpretation; soundness theorem; intuitionistic quantified modal logic; quasi-Euclidean properties
03B45: Modal logic (including the logic of norms)
Cites Work
- Models for normal intuitionistic modal logics
- Models for stronger normal intuitionistic modal logics
- On some intuitionistic modal logics
- A modal extension of intuitionist logic
- A completeness theorem in modal logic
- On the strong semantical completeness of the intuitionistic predicate calculus
- MIPC as the formalisation of an intuitionist concept of modality
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item