1167 search results - page 97 / 234 » A Really Temporal Logic |
126
click to vote
DLOG
2008
15 years 6 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
122
click to vote
CORR
2010
Springer
15 years 4 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 ...
162
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
146
click to vote
DEON
2010
Springer
15 years 5 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
137
click to vote
AIML
2006
15 years 5 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...