Wreath Products of Forest Algebras, with Applications to Tree Logics

Mikolaj Bojanczyk Howard Straubing Igor Walukiewicz

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

tree structure
expressive power
modal logic
case study
r tree
binary tree
classical logic
conditional logic
propositional dynamic logic
index structure
spanning tree
tree structures
propositional calculus
clifford algebra