Temporalizing Epistemic Logic L-DINF.

Stefania Costantini Andrea Formisano Valentina Pitoni

Published in: CILC (2022)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
inference rules
logical framework
multi faceted
mathematical theory
computation tree logic
dynamic epistemic logic
formal semantics
multi agent
mathematical model
temporal logic
model checker