scientific article; zbMATH DE number 7668093

MaRDI QIDQ5884938zbMATH OpenFDO

Authors Philippe Balbiani, Saúl Fernández González

Publication date 24 March 2023

zbMATH Keywords

bounded morphism lemmacanonical model constructioncomplete axiomatizationepistemic reasoningparametrized modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Modal logics and mu-calculi: An introduction
• Modal logic. An introduction to its syntax and semantics
• Rules with parameters in modal logic. I.
• Rules with parameters in modal logic. II.
• scientific article; zbMATH DE number 755666
• On modal renderings of intuitionistic propositional logic
• Modality and possibility in some intuitionistic modal logics
• On an intuitionistic modal logic
• scientific article; zbMATH DE number 1163568
• Constructive modal logics. I

Cited in

(4)

• One-step modal logics, intuitionistic and classical. I
• Rules with parameters in modal logic. I.
• scientific article; zbMATH DE number 67510 (Why is no real title available?)
• Parametrized modal logic. II: The unidimensional case

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