Decidable and undecidable fragments of first-order branching temporal logics (0)

by I Hodkinson, F Wolter, M Zakharyaschev
Venue:Proc. 17th IEEE Symposium on Logic in Computer Science (LICS), IEEE Inc