Local Realizability Toposes and a Modal Logic for Computability.

Steven Awodey Lars Birkedal Dana S. Scott

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

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
conditional logic
epistemic logic
default logic
situation calculus
explanation based generalization
nonmonotonic logics
dynamic logic
machine learning
modal operators
prime implicates