Logical relations for a logical framework.

Florian Rabe Kristina Sojakova

Published in: ACM Trans. Comput. Log. (2013)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
linear logic
possibilistic logic
higher order logic
normative systems
epistemic logic
coalition logic
special case
theorem prover
decision making
first order logic
attribute values
dynamic programming
computational complexity
reinforcement learning