Corrigendum to: ``The power of temporal proofs

DOI10.1016/0304-3975(90)90128-5MaRDI QIDQ913784zbMATH OpenOpenAlexFDO

Authors Martín Abadi

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(90)90128-5

zbMATH Keywords

auxiliary definitionsaxiomatic system complete with respect to nonstandard models of FTLfirst order temporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Cited in

(3)

• Temporal logics need their clocks
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics

This page was built for publication: Corrigendum to: ``The power of temporal proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q913784)