scientific article; zbMATH DE number 3896902

MaRDI QIDQ3676119zbMATH OpenFDO

Authors René Lavendhomme, Thierry Lucas

Publication date 1984

zbMATH Keywords

Intuitionistic logiclogic of sheavesmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Categorical logic, topoi (03G30)

Recommendations

• On an intuitionistic modal logic
• scientific article; zbMATH DE number 51606
• Intuitionistic logic and modality via topology
• scientific article; zbMATH DE number 975275
• Modalities as interactions between the classical and the intuitionistic logics

Cited in

(6)

• On an intuitionistic modal logic
• scientific article; zbMATH DE number 4145872 (Why is no real title available?)
• scientific article; zbMATH DE number 3941511 (Why is no real title available?)
• scientific article; zbMATH DE number 4090900 (Why is no real title available?)
• Interpretations of weak positive modal logics
• scientific article; zbMATH DE number 975275 (Why is no real title available?)

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 Q3676119)