Two-Variable Logic with Counting and Trees.

Witold Charatonik Piotr Witkowski

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

Keyphrases

tree structure
predicate logic
logic programming
decision trees
modal logic
classical logic
data structure
tree structures
multi valued
asynchronous circuits
database
real time
np complete
automated reasoning
logical framework
sound and complete axiomatization