scientific article; zbMATH DE number 1341479

zbMath0931.03034MaRDI QIDQ4263018

Wolfgang May

Publication date: 22 September 1999

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

zbMATH Keywords

tableau calculusexplicit quantification over stateslinear time temporal logic for reasoning about processes and events in concurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items

An analytic tableau calculus for a temporalised belief logic