Deontic Epistemic stit Logic Distinguishing Modes of 'Mens Rea'.

Jan M. Broersen

Published in: Information processing, rational belief change and social interaction (2009)

Keyphrases

logical framework
epistemic logic
multi agent systems
deontic logic
dynamic epistemic logic
coalition logic
inference rules
belief revision
classical logic
reasoning tasks
belief change
modal logic
computation tree logic
modal operators
logic programming
description logics
decision making
temporal logic