scientific article

zbMath0551.68033MaRDI QIDQ3343431

Susanne Graf

Publication date: 1984

Full work available at URL: https://eudml.org/doc/92215

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

zbMATH Keywords

temporal logicexpressive powerlinear timebranching time

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Uses Software

• CESAR

Cites Work

• Alternative semantics for temporal logics
• Decision procedures and expressiveness in the temporal logic of branching time
• “Sometimes” and “not never” revisited
• Unnamed Item
• Unnamed Item

This page was built for publication: