scientific article; zbMATH DE number 19762

zbMATH Open0743.03014MaRDI QIDQ3979260FDOQ3979260

Authors: Ildikó Sain 

Publication date: 26 June 1992

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

Recommendations

• scientific article; zbMATH DE number 18642
• scientific article; zbMATH DE number 17797
• scientific article; zbMATH DE number 4153903

zbMATH Keywords

completenessmodalityfirst-order temporal logicspartial correctness assertionspasttemporal logics of programsprovability of program properties

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• On the strength of temporal proofs

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