scientific article; zbMATH DE number 18642

zbMATH Open0747.03011MaRDI QIDQ3976046FDOQ3976046

Authors: Ildikó Sain 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 19762
• A hierarchy of temporal logics with past
• On the strength of temporal proofs
• scientific article; zbMATH DE number 17797
• Past is for free: On the complexity of verifying linear temporal properties with past

zbMATH Keywords

temporal logicpartial correctness assertionsinvariance propertiesdeterministic programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Cited In (1)

• ReGale: some memorable results

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