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
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

10/02/2019

Complete Intuitionistic Temporal Logics in Topological Dynamics

The language of linear temporal logic can be interpreted over the class ...
06/27/2018

Knowledge Compilation in Multi-Agent Epistemic Logics

Epistemic logics are a primary formalism for multi-agent systems but maj...
09/30/1999

Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast

The semantic framework for the modal logic of knowledge due to Halpern a...
06/29/2018

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

In recent years, multi-agent epistemic planning has received attention f...
07/22/2019

When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?

The early literature on epistemic logic in philosophy focused on reasoni...
03/07/2018

On the Expressiveness and Monitoring of Metric Temporal Logic

It is known that Metric Temporal Logic (MTL) is strictly less expressive...
02/20/2015

Automated Reasoning for Robot Ethics

Deontic logic is a very well researched branch of mathematical logic and...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.