Dependence logic with generalized quantifiers: Axiomatizations.

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

Published in: J. Comput. Syst. Sci. (2017)

Keyphrases

modal logic
decision procedures
predicate logic
multi valued
proof theory
database
np complete
first order logic
logic programming
automated reasoning
relational databases
probabilistic logic
image sequences
digital circuits
database systems
asynchronous circuits
artificial intelligence