Separating the basic logics of the basic recurrences

Giorgi Japaridze

Published in: CoRR (2010)

Keyphrases

expressive power
modal logic
inference rules
decision procedures
proof theory
propositional calculus
propositional dynamic logic
data sets
neural network
decision making
knowledge base
image processing
information technology
classical logic
nonmonotonic logics