Searching for "Expressive Power of Temporal Logics." – sorted by Relevance.
48 documents found, showing 1 through 10.
Next 10 →
-
On the Expressive Power of Temporal Logic
- …Temporal logic- November 5, 1991 1 On the expressive power of temporal logic () Joelle Cohen…
- Add To MetaCart
-
On the expressive power of temporal logic
- …On the expressive power of temporal logic ∗ Joëlle Cohen, Dominique Perrin and Jean-Eric Pin LITP…
- Cited by 33 (4 self) – Add To MetaCart
-
Mirror Mirror In My Hand: a duality between specifications and models of process behaviour
- …. In this paper, we show that, besides its expressive power, Temporal Logic enjoys a very strong structural…
- Cited by 11 (1 self) – Add To MetaCart
-
Proving Entailment Between Conceptual State Specifications (Extended Abstract)
- … Abstract The lack of expressive power of temporal logic as a specification language can be compensated…
- Cited by 17 (0 self) – Add To MetaCart
-
Datalog LITE: A deductive query language with linear time model checking
- …) extend the expressive power of temporal logics such as CTL and the alternation-free -calculus, (3) have…
- Cited by 15 (5 self) – Add To MetaCart
-
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs
- … scalability and capacity of classical symbolic trajectory evaluation with the expressive power of temporal-logic…
- Cited by 1 (0 self) – Add To MetaCart
-
An Infinite Hierarchy of Temporal Logics over Branching Time
- … an infinite hierarchy BTLk of temporal logics and prove its strictness. We examine the expressive power…
- Cited by 5 (2 self) – Add To MetaCart
-
Extending Temporal Logic With Omega-Automata
- … to augment temporal logic with the power of the !-regular expressions. Wolper, Vardi and Sistla followed…
- Add To MetaCart
-
Why so many Temporal Logics Climb up the Trees?
- …. The logic CTL suggested in [7] has the same expressive power as the temporal logic with infinite set…
- Cited by 3 (3 self) – Add To MetaCart
-
First-Order Logic with Two Variables and Unary Temporal Logic
- … expressive power as temporal logic with the usual future and past unary temporal operators: "next…
- Cited by 36 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
