Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

01/23/2014
by   Francesco Belardinelli, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset