Justification logics and hybrid logics

DOI10.1016/j.jal.2010.08.007zbMath1215.03032OpenAlexW2059205954MaRDI QIDQ631081

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

hybrid logiclogic of proofsnominalsjustification logic

Mathematics Subject Classification ID

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

Related Items (4)

Modal logics, justification logics, and realization ⋮ Lower complexity bounds in justification logic ⋮ A modal provability logic of explicit and implicit proofs ⋮ The Minimal System of Justification Logic with Names

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of proofs, semantically
• Pure extensions, proof rules, and hybrid axiomatics
• Logic of proofs
• Explicit Provability and Constructive Semantics
• THE LOGIC OF JUSTIFICATION

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