Extending Two-Variable Logic on Trees.

Bartosz Bednarczyk Witold Charatonik Emanuel Kieronski

Published in: CoRR (2016)

Keyphrases

decision trees
logic programming
modal logic
automated reasoning
tree structures
digital circuits
tree construction
database
neural network
machine learning
tree structure
binary tree
defeasible logic
nonmonotonic logics