Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom

DOI10.1007/s10986-009-9048-6zbMath1186.03038OpenAlexW2071160214WikidataQ114017482 ScholiaQ114017482MaRDI QIDQ1042695

Julius Andrikonis

Publication date: 15 December 2009

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10986-009-9048-6

zbMATH Keywords

modal logiccut eliminationinteraction axiomlogic of knowledgecentral agent

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05)

Cites Work

• Proof methods for modal and intuitionistic logics
• A guide to completeness and complexity for modal logics of knowledge and belief
• Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993
• Gentzen systems for modal logic
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
• Cut-free double sequent calculus for S5
• Knowledge in multiagent systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom