A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents.
Stefania CostantiniAndrea FormisanoValentina PitoniPublished 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