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

Sebastian Bauer Ian M. Hodkinson Frank Wolter Michael Zakharyaschev

Published in: TIME (2002)

Keyphrases

model checking
temporal logic
propositional logic
first order logic
computation tree logic
database
belief revision
default logic
minimal change
temporal properties
satisfiability testing
probabilistic logic
alternating time temporal logic