Hierarchies in Dependence Logic.

Arnaud Durand Juha Kontinen

Published in: ACM Trans. Comput. Log. (2012)

Keyphrases

logic programming
modal logic
proof theory
classical logic
predicate logic
information systems
automated reasoning
multi valued
sound and complete axiomatization
database
knowledge representation
hierarchical structure
defeasible logic
dynamic logic
linear temporal logic