A structured temporal logic language: XYZ/SE

DOI10.1007/BF02943402zbMATH Open0725.68071OpenAlexW1996668871MaRDI QIDQ2277863FDOQ2277863

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

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

zbMATH Keywords

temporal logic languageverification of temporal logic programs

Mathematics Subject Classification ID

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

Cites Work

• First-order dynamic logic
• Concerning the semantic consequence relation in first-order temporal logic
• Title not available (Why is that?)
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• Title not available (Why is that?)
• Title not available (Why is that?)

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)