Decision procedure for first-order linear temporal logic with semi-periodic kemels
There is not abstract.
Saved in:
Main Author: | Regimantas Pliuškevičius |
---|---|
Format: | Article |
Language: | English |
Published: |
Vilnius University Press
2002-12-01
|
Series: | Lietuvos Matematikos Rinkinys |
Online Access: | https://www.zurnalai.vu.lt/LMR/article/view/32981 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Decision procedures for quantified fragments of reflexive common knowledge logic
by: Regimantas Pliuškevičius
Published: (2004-12-01) -
Combination of temporal logic with modal logic KD
by: Regimantas Pliuškevičius
Published: (2003-12-01) -
Logic of knowledge with infinitely many agents
by: Regimantas Pliuškevičius
Published: (2023-09-01) -
On decidability of a fragment of intuitionistic predicate logic
by: Jolanta Kaušilaitė, et al.
Published: (1999-12-01) -
Decision procedure for a fragment of quantified branching temporal logic
by: Aida Pliuškevičienė
Published: (2002-12-01)