scientific article; zbMATH DE number 4119650

zbMath0683.68064MaRDI QIDQ4733423

Wolfgang Thomas

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Büchi automatacomputation tree logicbranching time logicnon-counting property

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Temporal logic (03B44)

Related Items (12)

CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus ⋮ Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints ⋮ Satisfiability of ECTL* with Tree Constraints ⋮ Unified temporal logic ⋮ Axiomatising extended computation tree logic ⋮ A proof system for unified temporal logic ⋮ Mathematical modal logic: A view of its evolution ⋮ Axiomatising extended computation tree logic ⋮ Strategies, model checking and branching-time properties in Maude ⋮ \(R\)-generability, and definability in branching time logics ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks ⋮ Compositional verification of asynchronous concurrent systems using CADP

This page was built for publication: