A Lewisian taxonomy for deontic logic.

Vladimír Svoboda

Published in: Synth. (2018)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
update semantics
nonmonotonic logics
hierarchically organized
formal semantics
artificial intelligence
expert systems
control system
general purpose
programming language
sufficient conditions