scientific article; zbMATH DE number 3892598

zbMath0559.68052MaRDI QIDQ5184412

A. P. Sistla, E. Allen Emerson

Publication date: 1984

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

zbMATH Keywords

exponential decision procedurefull branching time logic \(CTL^*\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)

Related Items

A Tableau for Bundled Strategies, Expressiveness and succinctness of a logic of robustness, A Rooted Tableau for BCTL*