Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.

Jeff Polakow Kwangkeun Yi

Published in: APLAS (2000)

Keyphrases

logical framework
belief revision
reasoning tasks
inference rules
natural language
desirable properties
linear logic
general purpose
learning algorithm
special case
automated reasoning
epistemic logic
normative systems