Skip to Main content Skip to Navigation
Journal articles

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

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.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00833246
Contributor : Frédéric Davesne <>
Submitted on : Wednesday, June 12, 2013 - 11:59:55 AM
Last modification on : Tuesday, June 30, 2020 - 11:56:07 AM

Identifiers

  • HAL Id : hal-00833246, version 1

Collections

Citation

Francesco Belardinelli, Alessio Lomuscio. Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2012, 45, pp.1--45. ⟨hal-00833246⟩

Share

Metrics

Record views

115