森林代数的 wreath 积及其在树逻辑中的应用
计算机科学中的逻辑
2015-07-01 v2 形式语言与自动机理论
摘要
我们利用最近发展的森林代数理论，寻找在各种逻辑中可定义的无秩树和森林语言的代数刻画。这些逻辑包括时序逻辑 CTL 和 EF，以及关于祖先关系的一阶逻辑。虽然这些刻画通常是非有效的，但我们能够利用它们来表述可定义性的必要条件，并提供新的证明，表明许多语言在这些逻辑中是不可定义的。
引用
@article{arxiv.1208.6172,
title = {Wreath Products of Forest Algebras, with Applications to Tree Logics},
author = {Mikolaj Bojanczyk and Igor Walukiewicz and Howard Straubing},
journal= {arXiv preprint arXiv:1208.6172},
year = {2015}
}