Cut-elimination for knowledge logics with interaction
In the article, multimodal logics K4n and S4n with the central agent axiom are analysed. The Hilbert type calculi are presented, then the Gentzen type calculi with cut are derived, and the proofs of the cut-eliminationtheorems are outlined. The work shows that it is possible to construct an analyti...
Main Author: | Julius Andrikonis |
---|---|
Format: | Article |
Language: | English |
Published: |
Vilnius University Press
2008-12-01
|
Series: | Lietuvos Matematikos Rinkinys |
Subjects: | |
Online Access: | https://www.journals.vu.lt/LMR/article/view/18106 |
Similar Items
-
Cut free sequent calculus for logic S5n(ED)
by: Haroldas Giedra
Published: (2010-12-01) -
Axioms of Philosophy in Aristotle’s Metaphysics
by: Robert DJIJIAN, et al.
Published: (2020-12-01) -
Axioms of real numbers, and the beginning teaching of the analysis
by: Gintaras Puriuškis
Published: (2014-12-01) -
THE AXIOMATIC METHOD IN ECONOMICS
by: A. N. Nekhamkin, et al.
Published: (2017-10-01) -
Simulation and Experimental Research on Cutting Force of Turning Titanium Alloy
by: Zheng Qingchun, et al.
Published: (2015-01-01)