Results 11  20
of
6,865
An automatatheoretic approach to linear temporal logic
 Logics for Concurrency: Structure versus Automata, volume 1043 of Lecture Notes in Computer Science
, 1996
"... Abstract. The automatatheoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs and specifications are in essence descriptions of computations. These computations can be viewed as words over s ..."
Abstract

Cited by 295 (26 self)
 Add to MetaCart
Abstract. The automatatheoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs and specifications are in essence descriptions of computations. These computations can be viewed as words over
Simple Onthefly Automatic Verification of Linear Temporal Logic
, 1995
"... We present a tableaubased algorithm for obtaining an automaton from a temporal logic formula. The algorithm is geared towards being used in model checking in an "onthefly" fashion, that is the automaton can be constructed simultaneously with, and guided by, the generation of the model. ..."
Abstract

Cited by 327 (29 self)
 Add to MetaCart
We present a tableaubased algorithm for obtaining an automaton from a temporal logic formula. The algorithm is geared towards being used in model checking in an "onthefly" fashion, that is the automaton can be constructed simultaneously with, and guided by, the generation of the model
A temporal logic for reasoning about processes and plans
 Cognitive Science, 6:101 { 155
, 1982
"... Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a firstorder temporal logic, in which it is possible to name and prove thing ..."
Abstract

Cited by 308 (3 self)
 Add to MetaCart
Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a firstorder temporal logic, in which it is possible to name and prove
Temporal Logics for
"... All intext references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately. ..."
Abstract
 Add to MetaCart
All intext references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately.
Regular Linear Temporal Logic
, 2007
"... We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as subexpressions. Every LTL operator can be defined as a context in regular linear temporal logic. This implies that there is a (linear) translat ..."
Abstract

Cited by 19 (10 self)
 Add to MetaCart
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as subexpressions. Every LTL operator can be defined as a context in regular linear temporal logic. This implies that there is a (linear
Bisimulations for Temporal Logic
 JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
, 1997
"... We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief ..."
Abstract

Cited by 24 (2 self)
 Add to MetaCart
We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief
Tableau Methods for Modal and Temporal Logics
, 1995
"... This document is a complete draft of a chapter by Rajeev Gor'e on "Tableau Methods for Modal and Temporal Logics" which is part of the "Handbook of Tableau Methods", edited by M. D'Agostino, D. Gabbay, R. Hahnle and J. Posegga, to be published in 1998 by Kluwer, Dordrec ..."
Abstract

Cited by 152 (20 self)
 Add to MetaCart
This document is a complete draft of a chapter by Rajeev Gor'e on "Tableau Methods for Modal and Temporal Logics" which is part of the "Handbook of Tableau Methods", edited by M. D'Agostino, D. Gabbay, R. Hahnle and J. Posegga, to be published in 1998 by Kluwer
Combining Temporal Logic Systems
 Notre Dame Journal of Formal Logic
, 1994
"... This paper is a continuation of the work started in [FG92] on combining temporal logics. In this work, four combination methods are described and studied with respect to the transference of logical properties from the component onedimensional temporal logics to the resulting twodimensional tempora ..."
Abstract

Cited by 32 (2 self)
 Add to MetaCart
This paper is a continuation of the work started in [FG92] on combining temporal logics. In this work, four combination methods are described and studied with respect to the transference of logical properties from the component onedimensional temporal logics to the resulting two
Results 11  20
of
6,865