Decidable and Undecidable Fragments of First-Order Branching Temporal Logics (2002)

by Ian Hodkinson , Frank Wolter , Michael Zakharyaschev
Venue:In Proc. 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002
Citations:14 - 5 self