Decision procedure for a fragment of dynamic logic

Aida Pliuškevičienė

doi:10.15388/LMR.2001.34623

Articles

Aida Pliuškevičienė

Institute of Mathematics and Informatics

Published 2001-12-17

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

PDF

How to Cite

Pliuškevičienė, A. (2001) “Decision procedure for a fragment of dynamic logic”, Lietuvos matematikos rinkinys, 41(spec.), pp. 413–420. doi:10.15388/LMR.2001.34623.

Download Citation

Abstract

There is not abstract.

PDF

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

Downloads

Download data is not yet available.

Most read articles in this journal

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ė, Loop-check elimination for non-transitive distributed knowledge logic , Lietuvos matematikos rinkinys: Vol. 48 (2008)
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 an extended miniscoped fragment of FTL with equality , Lietuvos matematikos rinkinys: Vol. 43 (2003)
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 a fragment of quantified branching temporal logic , Lietuvos matematikos rinkinys: Vol. 42 (2002)