scientific article; zbMATH DE number 19762

DOI10.1007/3-540-53414-8_31MaRDI QIDQ3979260zbMATH OpenFDO

Authors Ildikó Sain

Publication date 26 June 1992

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-53414-8_31

zbMATH Keywords

completenessfirst-order temporal logicsmodalitypartial correctness assertionspastprovability of program propertiestemporal logics of programs

Mathematics Subject Classification ID

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

Review text

[For the entire collection see Zbl 0732.00023.] The sentence in the title refers to the proof-theoretic consequences of adding the modality ``Sometime-in-the-past to temporal logics of programs. Here we investigate the proof-theoretic powers of first-order temporal logics (FTL's) from the point of view of provability of program properties. (We also investigate completeness issues of FTL's in general.).

Cited in

(3)

• scientific article; zbMATH DE number 17797 (Why is no real title available?)
• scientific article; zbMATH DE number 18642 (Why is no real title available?)
• 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)