The Minimal System of Justification Logic with Names

DOI10.1007/978-3-662-47197-5_11MaRDI QIDQ5213663zbMATH OpenOpenAlexFDO

Authors Rui Zhu, Xinwen Liu

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 systemcompleteness theoremconstant specificationhybrid logicpropositional letter

Mathematics Subject Classification ID

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

Recommendations

• Modal logic with names
• Pure modal logic of names and tableau systems
• Minimal Logicism
• Minimal Axiomatization in Modal Logic
• A proof system with names for modal -calculus
• scientific article; zbMATH DE number 4132133
• Joint consistency in extensions of the minimal logic
• scientific article; zbMATH DE number 6287646
• Minimal non-contingency logic
• scientific article; zbMATH DE number 1827080

Cites work

• Explicit provability and constructive semantics
• Handbook of modal logic
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• Justification logics and hybrid logics
• Justification logics, logics of knowledge, and conservativity
• Logic of proofs
• Modal logic
• Named models in coalgebraic hybrid logic
• Pure extensions, proof rules, and hybrid axiomatics
• Realization for justification logics via nested sequents: modularity through embedding
• The logic of justification
• The logic of proofs, semantically

Cited in

(1)

• Justification logics and hybrid logics

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

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