scientific article; zbMATH DE number 1059322

MaRDI QIDQ4353629zbMATH OpenFDO

Authors Wojciech Penczek, Marian Srebrny

Publication date 10 September 1997

zbMATH Keywords

first-order temporal logic over trace systemsprogram verification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 512851
• Publication:4864475
• A complete axiomatic characterization of first-order temporal logic of linear time
• scientific article; zbMATH DE number 3846861
• Nonclausal deduction in first-order temporal logic

Cited in

(9)

• Arithmetical axiomatization of first-order temporal logic
• A complete axiomatic characterization of first-order temporal logic of linear time
• On undecidability of propositional temporal logics on trace systems
• Complete axiomatization for projection temporal logic with finite time
• scientific article; zbMATH DE number 3846861 (Why is no real title available?)
• TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION
• scientific article; zbMATH DE number 512851 (Why is no real title available?)
• scientific article; zbMATH DE number 845931 (Why is no real title available?)
• scientific article; zbMATH DE number 5790393 (Why is no real title available?)

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