Temporal logics need their clocks
From MaRDI portal
Cites work
- 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?)
- 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
- 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)- Derivation rules as anti-axioms in modal logic
- Tomorrow’s Sea-Battle and the Beginning of Temporal Logic
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
- Incompleteness of first-order temporal logic with until
- On the strength of temporal proofs
- Similarity saturation for first order linear temporal logic with UNLESS
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)
