scientific article; zbMATH DE number 3878351

MaRDI QIDQ3343431zbMATH OpenFDO

Authors Susanne Graf

Publication date 1984

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

zbMATH Keywords

branching timeexpressive powerlinear timetemporal logic

Mathematics Subject Classification ID

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

Recommendations

• “Sometimes” and “not never” revisited
• The temporal logic of branching time
• scientific article; zbMATH DE number 4119600
• Linear, branching time and joint closure semantics for temporal logic
• scientific article; zbMATH DE number 1759449

Cites work

• “Sometimes” and “not never” revisited
• Alternative semantics for temporal logics
• Decision procedures and expressiveness in the temporal logic of branching time
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)

Cited in

(9)

• Linear, branching time and joint closure semantics for temporal logic
• Linear time Datalog and branching time logic
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• “Sometimes” and “not never” revisited
• scientific article; zbMATH DE number 177795 (Why is no real title available?)
• scientific article; zbMATH DE number 1956573 (Why is no real title available?)
• Programming Languages and Systems
• The temporal logic of branching time
• Branching versus linear logics yet again

Describes a project that uses

Uses Software

• CESAR

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3343431)