Characterizing quantifier extensions of dependence logic.

Fredrik Engström Juha Kontinen

Published in: J. Symb. Log. (2013)

Keyphrases

knowledge representation formalisms
modal logic
classical logic
automated reasoning
efficient implementation
default logic
predicate logic
temporal logic
asynchronous circuits
truth maintenance systems
proof theory
real time
knowledge representation
inference rules
multi valued
deontic logic