Loop-check elimination for non-transitive distributed knowledge logic

Aida Pliuškevičienė

doi:10.15388/LMR.2008.18110

Articles

Aida Pliuškevičienė

Institute of Mathematics and Informatics

Published 2008-12-21

https://doi.org/10.15388/LMR.2008.18110

PDF

Keywords

logic of knowledge
distributed knowledge
sequent calculus
loop-check

How to Cite

Pliuškevičienė, A. (2008) “Loop-check elimination for non-transitive distributed knowledge logic”, Lietuvos matematikos rinkinys, 48(proc. LMS), pp. 278–282. doi:10.15388/LMR.2008.18110.

Download Citation

Abstract

A non-transitive distributed knowledge logic T_nD, obtained from multi-modal logic T_nby adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed. Termination of derivations in proposed calculus is justified.

PDF

Downloads

Download data is not yet available.

Most read articles by the same author(s)

Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Finite sequent calculi for PLTL , Lietuvos matematikos rinkinys: Vol. 56 (2015): Ser. A
Regimantas Pliuškevičius , Aida Pliuškevičienė, A method of marks and indices for linear modal logic , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Aida Pliuškevičienė, Elimination of loop-check for logic of idealized knowledge , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Aida Pliuškevičienė, Specialization of derivations in modal logic S5 , Lietuvos matematikos rinkinys: Vol. 46 (2006)
Aida Pliuškevičienė, Decision procedure for a combination of logics KD4 and PDL , Lietuvos matematikos rinkinys: Vol. 44 (2004)
Aida Pliuškevičienė, Decision procedure for an extended miniscoped fragment of FTL with equality , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Aida Pliuškevičienė, Decision procedure for a fragment of dynamic logic , Lietuvos matematikos rinkinys: Vol. 41 (2001)
Aida Pliuškevičienė, Decision procedure for a fragment of quantified branching temporal logic , Lietuvos matematikos rinkinys: Vol. 42 (2002)