Extending Two-Variable Logic on Trees.

Bartosz Bednarczyk Witold Charatonik Emanuel Kieronski

Published in: CSL (2017)

Keyphrases

decision trees
defeasible logic
database
multi valued
databases
information systems
predicate logic
tree construction
tree structures
classical logic
labeled trees
proof theory
asynchronous circuits
digital circuits
tree structure
logic programming
search algorithm
neural network
data sets