Modal trees for T and S5.

B. Davidson Frank Cameron Jackson Robert Pargetter

Published in: Notre Dame J. Formal Log. (1977)

Keyphrases

tree structure
modal logic
tree models
binary trees
neural network
databases
decision trees
multi dimensional