Modal Tree-Sequents.

Claudio Cerrato

Published in: Math. Log. Q. (1996)

Keyphrases

linear logic
sequent calculus
modal logic
tree structure
tree models
index structure
genetic algorithm
tree nodes
tree construction
nonmonotonic logics
spanning tree
tree structures
classification trees
qualitative and quantitative
b tree
logic programming
data structure
decision trees
database