A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents.

Stefania Costantini Andrea Formisano Valentina Pitoni

Published in: WOA (2023)

Keyphrases

epistemic logic
multi agent systems
model checking
modal logic
multi agent
logical framework

dynamic epistemic logic
cooperative
computation tree logic
multi faceted
inference rules

autonomous agents
mathematical theory
formal semantics
software agents
petri net

complex systems
temporal logic
multiple agents
multiagent systems
programming language