On Dependence Logic

Pietro Galliani Jouko A. Väänänen

Published in: CoRR (2013)

Keyphrases

multi valued
modal logic
logic programming
data sets
automated reasoning
neural network
real world
artificial intelligence
information systems
website
case study
classical logic
deontic logic
dynamic logic
delay insensitive