A specialization of definitions in common knowledge logic
In: Lietuvos Matematikos Rinkinys, Jg. 52 (2011-12-01), Heft proc. LMS
Online
academicJournal
Zugriff:
It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations. The traditional techniques used to ensure termination of derivations in various non-classical logics are based on loop-checking. In this paper the reflexive common knowledge logic based on modal logic K2 is considered. For considered logic a sequent calculus with specialized non-logical (loop-type) axioms is presented.
Titel: |
A specialization of definitions in common knowledge logic
|
---|---|
Autor/in / Beteiligte Person: | Aurimas Paulius Girčys ; Pliuškevičius, Regimantas |
Link: | |
Zeitschrift: | Lietuvos Matematikos Rinkinys, Jg. 52 (2011-12-01), Heft proc. LMS |
Veröffentlichung: | Vilnius University Press, 2011 |
Medientyp: | academicJournal |
ISSN: | 0132-2818 (print) ; 2335-898X (print) |
DOI: | 10.15388/LMR.2011.ml05 |
Schlagwort: |
|
Sonstiges: |
|