Revisiting Epistemic Logic with Names.

Marta Bílková Zoé Christoff Olivier Roy

Published in: TARK (2021)

Keyphrases

epistemic logic
modal logic
model checking
dynamic epistemic logic
multi agent systems
inference rules
multi faceted
formal semantics
logical framework
computation tree logic
temporal logic
web services
machine learning
cooperative
knowledge representation