Arithmetical axiomatization of first-order temporal logic
From MaRDI portal
Publication:1101100
DOI10.1016/0020-0190(87)90047-0zbMath0642.03018OpenAlexW2015571575MaRDI QIDQ1101100
Publication date: 1987
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(87)90047-0
Kripke structuresarithmetical completenessfirst-order temporal logicarithmetical axiomatizations of logics of programsarithmetical proof systemsarithmetical soundness
Related Items
A complete axiomatic characterization of first-order temporal logic of linear time, Axiomatizing fixpoint logics, On strictly arithmetical completeness in logics of programs, Axiomatising first-order temporal logic: Until and since over linear time
Cites Work
- A generalized nexttime operator in temporal logic
- Concerning the semantic consequence relation in first-order temporal logic
- A complete axiomatic characterization of first-order temporal logic of linear time
- Incompleteness of first-order temporal logic with until
- First-order dynamic logic
- Soundness and Completeness of an Axiom System for Program Verification
- An axiomatic basis for computer programming
- Unnamed Item
- Unnamed Item
- Unnamed Item