Characterizing EF and EX tree logics.

Mikolaj Bojanczyk Igor Walukiewicz

Published in: Theor. Comput. Sci. (2006)

Keyphrases

tree structure
expressive power
inference rules
binary tree
index structure
r tree
tree search
information systems
expert systems
modal logic
conditional logic