Cut elimination for knowledge logic with interaction
In the article the multimodal logic Tn with central agent interaction axiom is analysed. The Hilbert type calculi is presented, then Gentzen type calculi with cut is derived and the proof of cutelimination theorem is outlined. The work shows that it is possible to construct a Gentzen type calculi wi...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2021-06-01
|
| Series: | Lietuvos Matematikos Rinkinys |
| Subjects: | |
| Online Access: | https://www.journals.vu.lt/LMR/article/view/24226 |
| _version_ | 1819062641700634624 |
|---|---|
| author | Julius Andrikonis Regimantas Pliuškevičius |
| author_facet | Julius Andrikonis Regimantas Pliuškevičius |
| author_sort | Julius Andrikonis |
| collection | DOAJ |
| description | In the article the multimodal logic Tn with central agent interaction axiom is analysed. The Hilbert type calculi is presented, then Gentzen type calculi with cut is derived and the proof of cutelimination theorem is outlined. The work shows that it is possible to construct a Gentzen type calculi without cut for this logic. |
| first_indexed | 2024-12-21T15:02:01Z |
| format | Article |
| id | doaj.art-0310fc7b4985430093cc61f27b5a98fd |
| institution | Directory Open Access Journal |
| issn | 0132-2818 2335-898X |
| language | English |
| last_indexed | 2024-12-21T15:02:01Z |
| publishDate | 2021-06-01 |
| publisher | Vilnius University Press |
| record_format | Article |
| series | Lietuvos Matematikos Rinkinys |
| spelling | doaj.art-0310fc7b4985430093cc61f27b5a98fd2022-12-21T18:59:34ZengVilnius University PressLietuvos Matematikos Rinkinys0132-28182335-898X2021-06-0147spec.10.15388/LMR.2007.24226Cut elimination for knowledge logic with interactionJulius Andrikonis0Regimantas Pliuškevičius1Institute of Mathematics and InformaticsInstitute of Mathematics and InformaticsIn the article the multimodal logic Tn with central agent interaction axiom is analysed. The Hilbert type calculi is presented, then Gentzen type calculi with cut is derived and the proof of cutelimination theorem is outlined. The work shows that it is possible to construct a Gentzen type calculi without cut for this logic.https://www.journals.vu.lt/LMR/article/view/24226multimodal logicTninteraction axiomcut elimination |
| spellingShingle | Julius Andrikonis Regimantas Pliuškevičius Cut elimination for knowledge logic with interaction Lietuvos Matematikos Rinkinys multimodal logic Tn interaction axiom cut elimination |
| title | Cut elimination for knowledge logic with interaction |
| title_full | Cut elimination for knowledge logic with interaction |
| title_fullStr | Cut elimination for knowledge logic with interaction |
| title_full_unstemmed | Cut elimination for knowledge logic with interaction |
| title_short | Cut elimination for knowledge logic with interaction |
| title_sort | cut elimination for knowledge logic with interaction |
| topic | multimodal logic Tn interaction axiom cut elimination |
| url | https://www.journals.vu.lt/LMR/article/view/24226 |
| work_keys_str_mv | AT juliusandrikonis cuteliminationforknowledgelogicwithinteraction AT regimantaspliuskevicius cuteliminationforknowledgelogicwithinteraction |