scientific article; zbMATH DE number 7668097

MaRDI QIDQ5884945zbMATH OpenFDO

Authors

Publication date 24 March 2023

zbMATH Keywords

completenessintuitionistic modal logicintutionismvagueness

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

Recommendations

• Completeness for non normal intuitionistic modal logics
• Completeness and incompleteness for intuitionistic logic
• scientific article; zbMATH DE number 1169382
• The completeness problem for modal logic
• scientific article; zbMATH DE number 1499093
• scientific article; zbMATH DE number 3916226
• scientific article; zbMATH DE number 6675100
• Completeness and incompleteness for anodic modal logics
• scientific article; zbMATH DE number 3999892
• Completeness and incompleteness in first-order modal logic: an overview

Cited in

(2)

• Vagueness and Intuitionistic Logic
• Topological models of columnar vagueness

This page was built for publication:

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