Axiomatizing epistemic logic of friendship via tree sequent calculus

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

Katsuhiko Sano

Publication date: 22 November 2017

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

zbMATH Keywords

Hilbert systemcompletenesscut elimination theoremepistemic logics of friendshiptree sequent calculus

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Orthogonal frames and indexed relations

This page was built for publication: Axiomatizing epistemic logic of friendship via tree sequent calculus