Axiomatizing epistemic logic of friendship via tree sequent calculus

DOI10.1007/978-3-662-55665-8_16zbMath1495.03025arXiv1704.07149MaRDI QIDQ1679760

Katsuhiko Sano

Publication date: 22 November 2017

Full work available at URL: https://arxiv.org/abs/1704.07149

zbMATH Keywords

Hilbert system; completeness; cut elimination theorem; epistemic logics of friendship; tree sequent calculus

Mathematics Subject Classification ID

03B42: Logics of knowledge and belief (including belief change)

03F05: Cut-elimination and normal-form theorems

03F03: Proof theory in general (including proof-theoretic semantics)