On Non-Local Propositional and Local One-Variable Quantified CTL*.

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev

Browse the full TIME paper archive.