The Minimal System of Justification Logic with Names

DOI10.1007/978-3-662-47197-5_11zbMath1429.03123OpenAlexW2228148591MaRDI QIDQ5213663

Xinwen Liu, Rui Zhu

Publication date: 4 February 2020

Published in: Modality, Semantics and Interpretations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-47197-5_11

zbMATH Keywords

axiom systemhybrid logiccompleteness theorempropositional letterconstant specification

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realization for justification logics via nested sequents: modularity through embedding
• Justification logics and hybrid logics
• The logic of proofs, semantically
• Pure extensions, proof rules, and hybrid axiomatics
• Justification logics, logics of knowledge, and conservativity
• Logic of proofs
• Explicit Provability and Constructive Semantics
• Named Models in Coalgebraic Hybrid Logic
• THE LOGIC OF JUSTIFICATION

This page was built for publication: The Minimal System of Justification Logic with Names