A hyperintensional logical framework for deontic reasons.
Federico L. G. FaroldiTudor ProtopopescuPublished in: Log. J. IGPL (2019)
Keyphrases
- logical framework
- inference rules
- reasoning tasks
- belief revision
- deontic logic
- higher order logic
- possibilistic logic
- epistemic logic
- linear logic
- normative systems
- temporal logic
- bayesian networks
- classical logic
- artificial intelligence
- multi dimensional
- general purpose
- data model
- argumentation frameworks
- knowledge base