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 (2)

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

This page was built for publication: Tableaux and Hypersequents for Justification Logic