Preface to Intuitionistic modal logic 2017

MaRDI QIDQ5039159zbMATH OpenFDO

Authors Valeria de Paiva, Sergei Artemov

Publication date 12 October 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Intuitionistic modal logic: a 15-year retrospective
• Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022
• scientific article; zbMATH DE number 1418447
• scientific article; zbMATH DE number 7241873
• scientific article; zbMATH DE number 3865242

Cited in

(5)

• Intuitionistic modal logic: a 15-year retrospective
• Ill-founded proof systems for intuitionistic linear-time temporal logic
• Intuitionistic modal logics: tips and clips
• Universal algebra in UniMath
• Intuitionistic epistemic logic with two modal operators

This page was built for publication: Preface to Intuitionistic modal logic 2017

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