Temporal logics need their clocks
From MaRDI portal
Some open problems concerning completeness of first-order temporal logics posed by Abadi and Manna are solved, and some theorems stated by these authors are refuted.
Cites work
- A complete logic for reasoning about programs via nonstandard model theory. I
- A complete logic for reasoning about programs via nonstandard model theory. II
- Corrigendum to: ``The power of temporal proofs
- scientific article; zbMATH DE number 3650541 (Why is no real title available?)
- scientific article; zbMATH DE number 3924132 (Why is no real title available?)
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- scientific article; zbMATH DE number 3703966 (Why is no real title available?)
- scientific article; zbMATH DE number 3776849 (Why is no real title available?)
- scientific article; zbMATH DE number 3559512 (Why is no real title available?)
- scientific article; zbMATH DE number 3628347 (Why is no real title available?)
- scientific article; zbMATH DE number 1354161 (Why is no real title available?)
- scientific article; zbMATH DE number 3999893 (Why is no real title available?)
- On the strength of temporal proofs
- The power of temporal proofs
- Total correctness in nonstandard logics of programs
- Weak second order characterizations of various program verification systems
Cited in
(6)- Incompleteness of first-order temporal logic with until
- Derivation rules as anti-axioms in modal logic
- Tomorrow’s Sea-Battle and the Beginning of Temporal Logic
- Similarity saturation for first order linear temporal logic with UNLESS
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
- On the strength of temporal proofs
This page was built for publication: Temporal logics need their clocks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1186428)
