Definitional Reflection and Basic Logic.

Peter Schroeder-Heister

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

multi valued
logic programming
classical logic
modal logic
question answering
proof theory
asynchronous circuits
predicate logic
data structure
real world
data model
logical framework
learning algorithm
defeasible logic
nonmonotonic logics
data sets
dynamic logic
real time