579 search results - page 14 / 116 » On a Temporal Logic for Object-Based Systems |
124
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
100
Voted
DAGSTUHL
1998
15 years 5 months ago
1998
MLQ
2010
15 years 2 months ago
2010
CORR
2010
Springer
15 years 2 months ago
2010
Springer
151
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...