Axiomatizing epistemic logic of friendship via tree sequent calculus

DOI10.1007/978-3-662-55665-8_16MaRDI QIDQ1679760zbMATH OpenOpenAlexFDO

Authors Katsuhiko Sano

Publication date 22 November 2017

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

zbMATH Keywords

completenesscut elimination theoremepistemic logics of friendshipHilbert systemtree sequent calculus

Mathematics Subject Classification ID

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

Abstract: This paper positively solves an open problem if it is possible to provide a Hilbert system to Epistemic Logic of Friendship (EFL) by Seligman, Girard and Liu. To find a Hilbert system, we first introduce a sound, complete and cut-free tree (or nested) sequent calculus for EFL, which is an integrated combination of Seligman's sequent calculus for basic hybrid logic and a tree sequent calculus for modal logic. Then we translate a tree sequent into an ordinary formula to specify a Hilbert system of EFL and finally show that our Hilbert system is sound and complete for the intended two-dimensional semantics.

Recommendations

• Sequent Calculus for Intuitionistic Epistemic Logic IEL
• Cut-free and analytic sequent calculus of intuitionistic epistemic logic
• A cut-free labelled sequent calculus for dynamic epistemic logic
• Cut elimination and complexity bounds for intuitionistic epistemic logic
• An axiomatisation for minimal social epistemic logic

Cited in

(5)

• An axiomatisation for minimal social epistemic logic
• Orthogonal frames and indexed relations
• scientific article; zbMATH DE number 5917718 (Why is no real title available?)
• scientific article; zbMATH DE number 5316610 (Why is no real title available?)
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

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

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