1032 search results - page 1 / 207 » Extended Computation Tree Logic |
TIME
2003
IEEE
13 years 10 months ago
2003
IEEE
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
ICALP
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
JVA
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
CONCUR
2006
Springer
13 years 6 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...