Dependence Logic with Generalized Quantifiers: Axiomatizations.

Fredrik Engström Juha Kontinen Jouko A. Väänänen

Published in: WoLLIC (2013)

Keyphrases

modal logic
decision procedures
automated reasoning
classical logic
first order logic
conditional logic
multi valued
computational properties
defeasible logic
predicate logic
database
multiscale
asynchronous circuits
dynamic logic
proof theory