Provability logic and the completeness principle.

Albert Visser Jetze Zoethout

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

modal logic
logic programming
ctl model update
multi valued
automated reasoning
minimal change
classical logic
databases
formal language
truth values
data mining
information systems
probability theory
artificial intelligence
machine learning
predicate logic
proof theory
neural network