Erratum to: On Definability in Dependence Logic.

Juha Kontinen Jouko A. Väänänen

Published in: J. Log. Lang. Inf. (2011)

Keyphrases

finite model theory
monadic second order logic
expressive power
propositional logic
multi valued
logic programming
fixed point
automated reasoning
neural network
predicate logic
databases
data sets
multi agent systems
artificial intelligence
real time
probability theory
classical logic
epistemic logic
proof theory