Gödel's second incompleteness theorem for Σ n -definable theories.

Conden Chao Payam Seraji

Published in: Log. J. IGPL (2018)

Keyphrases

action theories
incomplete information
von neumann
learning algorithm
artificial intelligence
answer sets
social bookmarking
databases
genetic algorithm
social networks
theoretical framework
transitive closure
valued logic