Deontic epistemic stit logic distinguishing modes of mens rea.
Jan M. BroersenPublished in: J. Appl. Log. (2011)
Keyphrases
- logical framework
- epistemic logic
- multi agent systems
- dynamic epistemic logic
- deontic logic
- coalition logic
- belief revision
- inference rules
- classical logic
- reasoning tasks
- belief change
- modal logic
- computation tree logic
- multi valued
- modal operators
- artificial intelligence
- temporal logic
- model checking
- reinforcement learning