Modelling Agents Roles in the Epistemic Logic L-DINF.

Stefania Costantini Andrea Formisano Valentina Pitoni

Published in: NMR (2022)

Keyphrases

epistemic logic
multi agent systems
modal logic
model checking
logical framework
dynamic epistemic logic
inference rules
multi faceted
mathematical theory
formal semantics
computation tree logic
temporal logic
multi agent
autonomous agents
cooperative
formal specification
decision making