scientific article; zbMATH DE number 3921952

MaRDI QIDQ3696491zbMATH OpenFDO

Authors David A. Plaisted

Publication date 1984

zbMATH Keywords

concurrencygeneralization of regular expressionsgraph-oriented model theoretic semanticslow level languageparallel programmingsatisfiability problemtemporal execution of eventstemporal logics of programs

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• The temporal logic of branching time
• Decision procedures and expressiveness in the temporal logic of branching time
• The complexity of propositional linear temporal logics
• scientific article; zbMATH DE number 3974944
• scientific article; zbMATH DE number 3871318

Cited in

(1)

• Interval logics and their decision procedures. I: An interval logic

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 Q3696491)