Completeness theorem for a first order linear-time logic
From MaRDI portal
Recommendations
- Arithmetical axiomatization of first-order temporal logic
- scientific article; zbMATH DE number 5790393
- Decidability and incompleteness results for first-order temporal logics of linear time
- A complete axiomatic characterization of first-order temporal logic of linear time
- scientific article; zbMATH DE number 1678387
Cited in
(17)- Concerning the semantic consequence relation in first-order temporal logic
- Arithmetical axiomatization of first-order temporal logic
- A complete axiomatic characterization of first-order temporal logic of linear time
- The power of temporal proofs
- Completeness of a first-order temporal logic with time-gaps
- A propositional probabilistic logic with discrete linear time for reasoning about evidence
- Axiomatising first-order temporal logic: Until and since over linear time
- Incompleteness in linear time
- Weak completeness theorem for propositional linear time temporal logic
- The logic of ``initially and ``next: complete axiomatization and complexity
- Decidability and incompleteness results for first-order temporal logics of linear time
- scientific article; zbMATH DE number 1088203 (Why is no real title available?)
- scientific article; zbMATH DE number 1405444 (Why is no real title available?)
- A PSPACE-complete first-order fragment of computability logic
- scientific article; zbMATH DE number 5238362 (Why is no real title available?)
- Probability logics for reasoning about quantum observations
- Incompleteness of a first-order Gödel logic and some temporal logics of programs
This page was built for publication: Completeness theorem for a first order linear-time logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2913981)
