Decidable and Undecidable Fragments of First-Order Branching Temporal Logics.

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev

Browse the full LICS paper archive.