Justification logic for constructive modal logic

MaRDI QIDQ5039162zbMATH OpenFDO

Authors Roman Kuznets, Sonia Marin, Lutz Straßburger

Publication date 12 October 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Modal logics, justification logics, and realization
• What are justification logics?
• Justification logic. Reasoning with reasons
• Logics of proofs and justifications
• Realization using the model existence theorem

Cited in

(11)

• The internalized disjunction property for intuitionistic justification logic
• What are justification logics?
• A Curry-Howard view of basic justification logic
• scientific article; zbMATH DE number 7585725 (Why is no real title available?)
• Conservativity for logics of justified belief: two approaches
• Justification logic for intuitionistic modal logic
• A Gödel-Artemov-style analysis of constructible falsity
• Explicit non-normal modal logic
• Canonicity of proofs in constructive modal logic
• Conditional obligations in justification logic
• Minimal modal logics, constructive modal logics and their relations

This page was built for publication: Justification logic for constructive modal logic

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