1283 search results - page 110 / 257 » A Survey on Temporal Logics |
188
click to vote
CONCUR
2005
Springer
15 years 12 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...
180
click to vote
DEON
2010
Springer
15 years 8 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 ...
163
click to vote
AIML
2006
15 years 7 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...
159
click to vote
ENTCS
2010
15 years 6 months ago
2010
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...
156
click to vote
FLAIRS
2003
15 years 7 months ago
2003
Hybrid logic nets contain nodes that exhibit recurrent characteristics, in that a node output shows temporal tendencies even when the inputs are constant (Al-Dabass et al. 1999a a...