Logics with Copy and Remove.

Carlos Areces Hans van Ditmarsch Raul Fervari François Schwarzentruber

Published in: WoLLIC (2014)

Keyphrases

expressive power
modal logic
neural network
artificial neural networks
inference rules
proof theoretic
data sets
information retrieval
genetic algorithm
expert systems
special case
first order logic
computational properties
nonmonotonic logics
propositional calculus