Tableaux and Hypersequents for Justification Logic

DOI10.1007/978-3-540-92687-0_20zbMath1211.03038OpenAlexW2144493267MaRDI QIDQ3605536

Hidenori Kurokawa

Publication date: 24 February 2009

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92687-0_20

Mathematics Subject Classification ID

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

Related Items

Tableaux and hypersequents for justification logics ⋮ Prefixed tableaus and nested sequents

Cites Work

• Proof methods for modal and intuitionistic logics
• Explicit Provability and Constructive Semantics
• Introducing Justification into Epistemic Logic
• Logic of proofs and provability