A Meta Linear Logical Framework.

Andrew McCreight Carsten Schürmann

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
epistemic logic
higher order logic
artificial intelligence
possibilistic logic
special case
linear logic