Decision procedure for a fragment of quantified branching temporal logic

Aida Pliuškevičienė

doi:10.15388/LMR.2002.32980

Articles

Aida Pliuškevičienė

Institute of Mathematics and Informatics

Published 2002-12-20

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

PDF

How to Cite

Pliuškevičienė, A. (2002) “Decision procedure for a fragment of quantified branching temporal logic”, Lietuvos matematikos rinkinys, 42(spec.), pp. 476–480. doi:10.15388/LMR.2002.32980.

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 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ė, 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 dynamic logic , Lietuvos matematikos rinkinys: Vol. 41 (2001)