A Linear Logical Framework.

Iliano Cervesato Frank Pfenning

Published in: Inf. Comput. (2002)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
possibilistic logic
epistemic logic
linear logic
higher order logic
artificial intelligence
high level
lower bound
relational databases
general purpose
description logics
visual features
normative systems