Open AccessCut-elimination for knowledge logics with interaction
Author(s) -
Julius Andrikonis
Publication year - 2008
Publication title -
lietuvos matematikos rinkinys
Language(s) - English
Resource type - Journals
eISSN - 2335-898X
pISSN - 0132-2818
DOI - 10.15388/lmr.2008.18106
Subject(s) - axiom , mathematical proof , type (biology) , construct (python library) , mathematics , calculus (dental) , algebra over a field , discrete mathematics , computer science , pure mathematics , programming language , medicine , ecology , geometry , dentistry , biology
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 thecut-eliminationtheorems are outlined. The work shows that it is possible to construct an analytical Gentzen type calculi for these logics.