Sciweavers

KR
2010
Springer

Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems

14 years 3 months ago
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems
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 perfect recall, synchronicity, no learning, unique initial state, and define natural correspondences between these and quantified interpreted systems. Our findings identify several monodic fragments of first-order temporal epistemic logic that we prove to be both sound and complete with respect to the corresponding classes of quantified interpreted systems. The results show that interaction axioms for propositional temporal epistemic logic can be lifted to the monodic fragment.
Francesco Belardinelli, Alessio Lomuscio
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2010
Where KR
Authors Francesco Belardinelli, Alessio Lomuscio
Comments (0)