About this document
Agent Interpolation in Multi-Agent S5 Logic by gunter.kalma is a document available to read on EtoBox.
This paper introduces a new proof formalism for multi-agent modal logics with S5-type modalities, combining hypersequents and nested sequents to represent modality alternations. The authors demonstrate that this calculus is sound, complete, cut-free, and terminating, leading to decidability and the finite model property for multi-agent S5. Additionally, they establish the Lyndon and Craig interpolation properties for both propositional atoms and agents, while discussing challenges in extending these results
- Author
- gunter.kalma
- Language
- EN