Add to ORKGAlthough less studied than purely action or state based logics, state/event based logics are becoming increasingly important. Some systems are best studied using structures with information on both states and transitions, and it is these structures over which state/event based logics are defined. The logic UCTL and its variants are perhaps the most widely studied and implemented of these logics to date. As yet, however, no-one seems to have defined UCTL*, a trivial step but a worthwhile one. Here we do just that, but prove in the cases of both UCTL and UCTL* that these logics are no more expressive than their more commonplace fragments. Also, acknowledging the importance of modal transition systems, we define a state/event based logic over ...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...
Although less studied than purely action or state based logics, state/event based logics are becomin...
A temporal logic based on actions rather than on states is presented and interpreted over labelled t...
In recent years, model checking with interval temporal logics is emerging as a viable alternative to...
We argue that considering transitions at the same level as states, as first-class citizens, is advan...
We define a general notion of transition system where states and action labels can be from arbitrary...
We study labeled transition systems where at each state an agent is aware of and hence reasons about...
We define a general notion of transition system where states and action labels can be from arbitrary...
AbstractTemporal logic is two-valued: formulas are interpreted as either true or false. When applied...
Model checking is a powerful method widely explored in formal verification to check the (state-trans...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...
Although less studied than purely action or state based logics, state/event based logics are becomin...
A temporal logic based on actions rather than on states is presented and interpreted over labelled t...
In recent years, model checking with interval temporal logics is emerging as a viable alternative to...
We argue that considering transitions at the same level as states, as first-class citizens, is advan...
We define a general notion of transition system where states and action labels can be from arbitrary...
We study labeled transition systems where at each state an agent is aware of and hence reasons about...
We define a general notion of transition system where states and action labels can be from arbitrary...
AbstractTemporal logic is two-valued: formulas are interpreted as either true or false. When applied...
Model checking is a powerful method widely explored in formal verification to check the (state-trans...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...
This paper studies some normative relations that hold between actions, their preconditions and their...