Justification logics and hybrid logics

DOI10.1016/J.JAL.2010.08.007MaRDI QIDQ631081zbMATH OpenOpenAlexFDO

Authors Melvin Fitting

Publication date 22 March 2011

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2010.08.007

zbMATH Keywords

justification logiclogic of proofshybrid logicnominals

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62)

Recommendations

• The Minimal System of Justification Logic with Names
• On intermediate justification logics
• Logics of proofs and justifications
• Hybrid logic and its proof-theory
• What are justification logics?

Cites work

• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 3191263 (Why is no real title available?)
• Explicit provability and constructive semantics
• Handbook of modal logic
• Logic of proofs
• Modal logic
• Pure extensions, proof rules, and hybrid axiomatics
• The logic of justification
• The logic of proofs, semantically

Cited in

(7)

• Internalization: The case of hybrid logics
• Lower complexity bounds in justification logic
• Modal logics, justification logics, and realization
• On intermediate justification logics
• Conservativity for logics of justified belief: two approaches
• A modal provability logic of explicit and implicit proofs
• The Minimal System of Justification Logic with Names

This page was built for publication: Justification logics and hybrid logics

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