A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.

Alberto Momigliano Jeff Polakow

Published in: MERLIN (2003)

Keyphrases

logical framework
inference rules
belief revision
possibilistic logic
reasoning tasks
normative systems
epistemic logic
linear logic
probability distribution
spatial information
higher order logic
coalition logic
special case
partially ordered