53 search results - page 1 / 11 » An Axiomatization of a First-order Branching Time Temporal L... |
JUCS
2010
13 years 3 months ago
2010
: We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no fini...
SEMWEB
2009
Springer
13 years 11 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
TIME
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
DAWAK
2007
Springer
13 years 8 months ago
2007
Springer
Most methods for temporal pattern mining assume that time is represented by points in a straight line starting at some initial instant. In this paper, we consider a new kind of fir...
TIME
2003
IEEE
13 years 9 months ago
2003
IEEE
