Elimination of loop-check for logic of idealized knowledge
Articles
Aida Pliuškevičienė
Institute of Mathematics and Informatics
Published 2009-12-20
https://doi.org/10.15388/LMR.2009.46
PDF

Keywords

modal logics
sequent calculus
termination of derivation
loop-check
indexation

How to Cite

Pliuškevičienė A. (2009) “Elimination of loop-check for logic of idealized knowledge”, Lietuvos matematikos rinkinys, 50(proc. LMS), pp. 258–263. doi: 10.15388/LMR.2009.46.

Abstract

In the paper loop-check-free sequent calculus for logic of idealized knowledge is presented. To obtain termination of derivation indices and marks are used instead of history.

PDF
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy