Corrigendum to: Displaying updates in logic.

Guillaume Aucher

Published in: J. Log. Comput. (2020)

Keyphrases

modal logic
classical logic
predicate logic
neural network
real time
proof theory
databases
artificial intelligence
information systems
decision trees
multi valued
digital circuits