Loop-free verification of termination of derivation for a fragment of dynamic logic

Regimantas  Pliuškevičius

doi:10.15388/LMR.2008.18111

Articles

Regimantas Pliuškevičius

Institute of Mathematics and Informatics

Published 2008-12-21

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

PDF

How to Cite

Pliuškevičius , R. (2008) “Loop-free verification of termination of derivation for a fragment of dynamic logic”, Lietuvos matematikos rinkinys, 48(proc. LMS), pp. 283–287. doi:10.15388/LMR.2008.18111.

Download Citation

Abstract

A fragment of a deterministic propositional dynamic logic (DPDL, in short) is considered The language of considered fragment contains propositional symbols, action constants, action operator (repetition) and logical symbols. For safety fragment of considered DPDL a loop-check-free sequent calculus with invertible rules is presented.

PDF

Downloads

Download data is not yet available.

Most read articles in this journal

Romas Alonderis, Regimantas Pliuškevičius, Sequent systems for PLTL , Lietuvos matematikos rinkinys: Vol. 54 (2013): Ser. A
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, Aurimas Paulius Girčys, Saturation method for reflexive common knowledge logic , Lietuvos matematikos rinkinys: Vol. 53 (2012): Ser. A
Regimantas Pliuškevičius, Method of marks for propositional linear temporal logic , Lietuvos matematikos rinkinys: Vol. 55 (2014): Ser. A
Aurimas Paulius Girčys, Regimantas Pliuškevičius, Two complete finitary sequent calculi for reflexive common knowledge , Lietuvos matematikos rinkinys: Vol. 54 (2013): Ser. A
Romas Alonderis, Regimantas Pliuškevičius, Cut, invariant rule, and loop-check free sequent calculus for PLTL , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Julius Andrikonis, Regimantas Pliuškevičius, Contraction-free calculi for modal logics S5 and KD45 , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Regimantas Pliuškevičius , Termination of derivations for minimal tense logic , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Regimantas Pliuškevičius , Aida Pliuškevičienė, A method of marks and indices for linear modal logic , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Aurimas Paulius Girčys, Regimantas Pliuškevičius, A specialization of definitions in common knowledge logic , Lietuvos matematikos rinkinys: Vol. 52 (2011)

1 2 > >>