Corrigendum to: ``The power of temporal proofs
From MaRDI portal
Publication:913784
DOI10.1016/0304-3975(90)90128-5zbMath0701.03009OpenAlexW63715920MaRDI QIDQ913784
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
auxiliary definitionsaxiomatic system complete with respect to nonstandard models of FTLfirst order temporal logic
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
A propositional probabilistic logic with discrete linear time for reasoning about evidence, Temporal logics need their clocks, Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics