Characterizing CTL-like logics on finite trees

Z. Ésik
DOI: https://doi.org/10.1016/j.tcs.2006.01.034
IF: 1.002
2006-05-05
Theoretical Computer Science
Abstract:
What problem does this paper attempt to address?