Infinitary S5-Epistemic Logic.

Published in: Math. Log. Q. (1997)

Keyphrases

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