Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Multiagent Systems
2014-01-25 v1 Artificial Intelligence
Logic in Computer Science
Abstract
We investigate a class of first-order temporal-epistemic logics for reasoning about multi-agent systems. We encode typical properties of systems including perfect recall, synchronicity, no learning, and having a unique initial state in terms of variants of quantified interpreted systems, a first-order extension of interpreted systems. We identify several monodic fragments of first-order temporal-epistemic logic and show their completeness with respect to their corresponding classes of quantified interpreted systems.
Cite
@article{arxiv.1401.5849,
title = {Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results},
author = {Francesco Belardinelli and Alessio Lomuscio},
journal= {arXiv preprint arXiv:1401.5849},
year = {2014}
}