Two-Variable Logic with Counting and Trees.

Witold Charatonik Piotr Witkowski

Published in: LICS (2013)

Keyphrases

decision trees
logic programming
proof theory
predicate logic
automated reasoning
tree structures
real time
information systems
modal logic
sound and complete axiomatization
learning algorithm
objective function
digital circuits