A utilitarian semantics for deontic logic.

Raymond E. Jennings

Published in: J. Philos. Log. (1974)

Keyphrases

deontic logic
update semantics
knowledge representation language
nonmonotonic logics
formal semantics
legal reasoning
logic programming
inference engine
relational databases
programming language
modal logic
inference rules
propositional logic
conceptual graphs