8 search results - page 2 / 2 » An Axiomatization of Lamport's Temporal Logic of Actions |
TARK
2007
Springer
13 years 12 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
LFCS
2009
Springer
14 years 9 days ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
ISORC
2000
IEEE
13 years 9 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...