Login / Signup
Ordered Epistemic Logic: Semantics, Complexity and Applications.
Hanne Vlaeminck
Joost Vennekens
Maurice Bruynooghe
Marc Denecker
Published in:
KR (2012)
Keyphrases
</>
epistemic logic
modal logic
model checking
formal semantics
multi agent systems
temporal epistemic
logical framework
dynamic epistemic logic
inference rules
computation tree logic
computational complexity
multi faceted
reasoning tasks
mathematical theory
desirable properties
model checker