What are justification logics?

DOI10.3233/FI-2019-1782MaRDI QIDQ5377318zbMATH OpenFDO

Authors Melvin Fitting

Publication date 24 May 2019

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2019-1782

zbMATH Keywords

BHK semanticsintuitionistic logicjustification logiclogic of proofsmodal logicrealization

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Recommendations

• Logics of proofs and justifications
• Reasoning with Justifications
• Justification logic for constructive modal logic
• Modal logics, justification logics, and realization
• Comments on Artemov

Cited in

(16)

• Justification logics, logics of knowledge, and conservativity
• Modal logics, justification logics, and realization
• Comments on Artemov
• Labeled sequent calculus for justification logics
• Realization theorems for justification logics: full modularity
• Reasoning with Justifications
• Realization for justification logics via nested sequents: modularity through embedding
• The ontology of justifications in the logical setting
• Decidability for justification logics revisited
• Justification logic for constructive modal logic
• First-order justification logic with constant domain semantics
• Logic of implicit and explicit justifiers
• Classical reasoning in the justification paradigm
• On intermediate justification logics
• Weak relevant justification logics
• Justification logics and hybrid logics

This page was built for publication: What are justification logics?

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