Undecidability of a Multi-Agent Logic

M. Kacprzak
2002-06-15
Fundamenta Informaticae
Abstract:The paper presents an original logical system for reasoning about groups of interacting, autonomous processes, i.e. multi-agent systems. In the paper, an agent is considered as a couple consisting of a set of methods and of a queue of tasks. We show that the logic is not decidable. It is done by the reduction from the recurring domino problem.
What problem does this paper attempt to address?