Cut elimination for S4n and K4n with the central agent axiom |
| |
Authors: | J Andrikonis |
| |
Institution: | (1) Institute of Mathematics and Informatics, Akademijos 4, LT-08663 Vilnius, Lithuania |
| |
Abstract: | We analyze the multimodal logic S4
n
with the central agent axiom. We present a Hilbert-type calculus, then derive a Gentzen-type calculus with cut, and prove
a cut-elimination theorem. The work shows that it is possible to construct a cut-free Gentzen-type calculus for this logic.
Moreover, it also provides analogous results for the multimodal logic K4
n
with the central agent axiom. |
| |
Keywords: | S4 n K4 n modal logic interaction axiom cut elimination central agent |
本文献已被 SpringerLink 等数据库收录! |
|