Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures.

Published in: FCT (1981)

Keyphrases

tree structures
non stationary
horn clauses
relational structures
higher order
decision trees
first order logic
modal logic
classical logic
tree structure
sound and complete axiomatization
data sets
website
logic programming
temporal logic
tree like structures