Tableau based proof systems have been designed for many logics extending classical rst order logic This paper proposes a sound tableau calculus for temporal logics of the rst order CTL family Until now a tableau calculus has only been presented for the propositional version of CTL The calculus considered operates with pre xed formulas and may be regarded as… (More)

### Presentations referencing similar topics