Pure Logic of Iterated Full Ground.

Jon Erling Litland

Published in: Rev. Symb. Log. (2018)

Keyphrases

logic programming
automated reasoning
linear temporal logic
computational properties
predicate logic
neural network
modal logic
multi valued
proof theory
defeasible logic
asynchronous circuits
propositional dynamic logic
data sets
abductive reasoning
classical logic
probabilistic logic
genetic algorithm