A Logic of Comparative Obligation.

Published in: Stud Logica (1996)

Keyphrases

deontic logic
logic programming
modal logic
multi agent systems
multi valued
classical logic
predicate logic
proof theory
comparative analysis
computational properties
search engine
knowledge base
web services
set theory
asynchronous circuits
delay insensitive