A structured temporal logic language: XYZ/SE

DOI10.1007/BF02943402MaRDI QIDQ2277863zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 1991

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02943402

zbMATH Keywords

temporal logic languageverification of temporal logic programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)

Recommendations

• Temporal logic programming
• PTL sequent calculus system
• On using temporal logic for refinement and compositional verification of concurrent systems
• scientific article; zbMATH DE number 4182845
• scientific article; zbMATH DE number 3898203

Cites work

• Concerning the semantic consequence relation in first-order temporal logic
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• First-order dynamic logic
• scientific article; zbMATH DE number 3825144 (Why is no real title available?)
• scientific article; zbMATH DE number 3768939 (Why is no real title available?)
• scientific article; zbMATH DE number 3800906 (Why is no real title available?)

Cited in

(1)

• XYZ/SE

This page was built for publication: A structured temporal logic language: XYZ/SE

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