Principles of reflection and second-order logic.

Stewart Shapiro

Published in: J. Philos. Log. (1987)

Keyphrases

higher order
modal logic
classical logic
automated reasoning
logic programming
information retrieval
theoretical framework
multi valued
digital circuits
abductive reasoning
asynchronous circuits
dynamic logic
hessian matrix
directional derivatives
propositional dynamic logic