An alternative intuitionistic version of Mally's deontic logic.

Gert-Jan C. Lokhorst

Published in: Reports Math. Log. (2016)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
update semantics
nonmonotonic logics
linear logic
fuzzy set theory
artificial intelligence
information systems
knowledge base
control system
software engineering
general purpose
theorem prover