Carmo and Jones' logic for contrary-to-duty obligations revised.
José CarmoAndrew J. I. JonesPublished in: J. Log. Comput. (2022)
Keyphrases
- case based reasoning
- deontic logic
- legal reasoning
- normative systems
- modal logic
- classical logic
- update semantics
- logic programming
- nonmonotonic logics
- dynamic logic
- agent architecture
- automated reasoning
- real world
- set theory
- predicate logic
- formal theory
- knowledge representation
- database systems
- information systems