An Epistemic Logic of Extensive Games.

Emiliano Lorini Frédéric Moisan

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

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