On Definability in Dependence Logic.

Juha Kontinen Jouko A. Väänänen

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

Keyphrases

finite model theory
classical logic
abductive reasoning
logic programming
fixed point
multi valued
modal logic
machine learning
expressive power
propositional logic
logical framework
digital circuits
epistemic logic
dynamic logic
sound and complete axiomatization