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

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

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

First Order Linear Temporal Logic over Finite Time Structures

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_5 ◽

1999 ◽

pp. 62-76 ◽

Cited By ~ 8

Author(s):

Serenella Cerrito ◽

Marta Cialdea Mayer ◽

Sébastien Praud

Keyword(s):

Temporal Logic ◽

Finite Time ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order ◽

Time Structures

Download Full-text

Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic

Proceedings of the 2004 American Control Conference ◽

10.23919/acc.2004.1384663 ◽

2004 ◽

Author(s):

Z. Huang ◽

S. Bhattacharyya ◽

V. Chandra ◽

S. Jiang ◽

R. Kumar

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order ◽

Event Systems

Download Full-text

Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas

Lithuanian Mathematical Journal ◽

10.1007/bf02465850 ◽

1999 ◽

Vol 39 (3) ◽

pp. 301-314 ◽

Cited By ~ 2

Author(s):

R. Pliuškevičius

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order

Download Full-text

On Finite Domains in First-Order Linear Temporal Logic

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-46520-3_14 ◽

2016 ◽

pp. 211-226 ◽

Cited By ~ 2

Author(s):

Denis Kuperberg ◽

Julien Brunel ◽

David Chemouil

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order ◽

Finite Domains

Download Full-text

A sequent calculus for a first order linear temporal logic with explicit time

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_33 ◽

1992 ◽

pp. 442-451

Author(s):

Jūratė Sakalauskaitė

Keyword(s):

Temporal Logic ◽

Sequent Calculus ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order

Download Full-text