Decision procedures for quantified fragments of reflexive common knowledge logic
There is not abstract.
Main Author: | Regimantas Pliuškevičius |
---|---|
Format: | Article |
Language: | English |
Published: |
Vilnius University Press
2004-12-01
|
Series: | Lietuvos Matematikos Rinkinys |
Online Access: | https://www.journals.vu.lt/LMR/article/view/32076 |
Similar Items
-
Saturation method for reflexive common knowledge logic
by: Regimantas Pliuškevičius, et al.
Published: (2012-12-01) -
Decision procedure for first-order linear temporal logic with semi-periodic kemels
by: Regimantas Pliuškevičius
Published: (2002-12-01) -
Two complete finitary sequent calculi for reflexive common knowledge
by: Aurimas Paulius Girčys, et al.
Published: (2013-12-01) -
A specialization of definitions in common knowledge logic
by: Aurimas Paulius Girčys, et al.
Published: (2011-12-01) -
Loop-free verification of termination of derivation for a fragment of dynamic logic
by: Regimantas Pliuškevičius
Published: (2008-12-01)