Extending a Logical Framework with a Modal Connective for Validity.

Published in: TACS (1997)

Keyphrases

logical framework
inference rules
reasoning tasks
modal logic
higher order logic
belief revision
epistemic logic
possibilistic logic
normative systems
training data
linear logic
artificial intelligence
general purpose
sufficient conditions