Saturation method for reflexive common knowledge logic
Articles
Regimantas Pliuškevičius
Vilnius University
Aurimas Paulius Girčys
Vilnius University
Published 2012-12-15
https://doi.org/10.15388/LMR.A.2012.19
PDF

Keywords

saturation method
common knowledge logic
reflexive common knowledge logic

How to Cite

Pliuškevičius, R. and Girčys, A.P. (2012) “Saturation method for reflexive common knowledge logic”, Lietuvos matematikos rinkinys, 53(A), pp. 108–111. doi:10.15388/LMR.A.2012.19.

Abstract

This paper discusses the use of saturation procedure in order to check looping sequents in reflexive common knowledge logic. Traditional approach states that common knowledge operator is defined by some induction-like axiom and requires the use of some looping sequents. The loopcheck-free saturation-like procedure lets us obtain special loopfree sequents.

PDF

Downloads

Download data is not yet available.