First-Order Linear Temporal Logic

Temporal Logic and State Systems - Texts in Theoretical Computer Science ◽

10.1007/978-3-540-68635-4_5 ◽

2008 ◽

pp. 153-179

Author(s):

Fred Kröger ◽

Stephan Merz

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order

Download Full-text

On the completeness and decidability of a restricted first order linear temporal logic

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/3-540-63385-5_47 ◽

1997 ◽

pp. 241-254 ◽

Cited By ~ 3

Author(s):

Regimantas Pliuškevičius

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order

Download Full-text

Similarity saturation for first order linear temporal logic with UNLESS

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-61630-6_23 ◽

1996 ◽

pp. 320-336

Author(s):

Regimantas Pliuškevičius

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order

Download Full-text

Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic

Journal of Applied Non-Classical Logics ◽

10.1080/11663081.1998.10510936 ◽

1998 ◽

Vol 8 (1-2) ◽

pp. 141-169 ◽

Cited By ~ 3

Author(s):

Regimantas Pliuskevicius

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order

Download Full-text

A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic

Information and Computation ◽

10.1016/j.ic.2020.104641 ◽

2020 ◽

pp. 104641

Author(s):

Quentin Peyras ◽

Julien Brunel ◽

David Chemouil

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order

Download Full-text

Logical foundation for logic programming based on first order linear temporal logic

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_29 ◽

1992 ◽

pp. 391-406 ◽

Cited By ~ 1

Author(s):

Regimantas Pliuškevičius

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order ◽

Logical Foundation

Download Full-text