Computational Aspects of Dependence Logic

Published in: CoRR (2012)

Keyphrases

modal logic
asynchronous circuits
logic programming
classical logic
logical framework
sound and complete axiomatization
proof theory
predicate logic
set theory
computer vision
database
multi valued
probability distribution
knowledge base
formal theory
dynamic logic
search engine
delay insensitive
real time