Using quantified epistemic logic as a modeling tool in cognitive neuropsychology.

Rasmus K. Rendsvig

Published in: ESSLLI Logic & Cognition Workshop (2012)

Keyphrases

modeling tool
epistemic logic
modal logic
model checking
logical framework
inference rules
multi agent systems
formal semantics
dynamic epistemic logic
multi faceted
decision making
mathematical theory
computation tree logic
temporal logic
orders of magnitude
model checker