360 search results - page 1 / 72 » Hybrid Branching-Time Logics |
CORR
2007
Springer
13 years 5 months ago
2007
Springer
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
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...
INFORMATICALT
2007
13 years 5 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
TIME
2007
IEEE
13 years 11 months ago
2007
IEEE