Justification logics and hybrid logics

DOI10.1016/J.JAL.2010.08.007zbMATH Open1215.03032OpenAlexW2059205954MaRDI QIDQ631081FDOQ631081

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

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?

zbMATH Keywords

justification logiclogic of proofshybrid logicnominals

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Logic of proofs
• Explicit provability and constructive semantics
• Handbook of modal logic
• The logic of proofs, semantically
• The logic of justification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pure extensions, proof rules, and hybrid axiomatics

Cited In (7)

• Internalization: The case of hybrid logics
• Lower complexity bounds in justification logic
• On intermediate justification logics
• Modal logics, justification logics, and realization
• 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)