Local Realizability Toposes and a Modal Logic for Computability.

Steven Awodey Lars Birkedal Dana S. Scott

Published in: Math. Struct. Comput. Sci. (2002)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
epistemic logic
nonmonotonic logics
conditional logic
situation calculus
default logic
dynamic logic
autoepistemic logic
prime implicates
natural language
expert systems
bayesian networks
artificial intelligence