Provability logics for natural turing progressions of arithmetical theories.

Lev D. Beklemishev

Published in: Stud Logica (1991)

Keyphrases

theoretical framework
expressive power
modal logic
real world
neural network
machine intelligence
decision trees
image sequences
knowledge representation
computational models
inference rules
classical logic