Incompleteness of a first-order Gödel logic and some temporal logics of programs
From MaRDI portal
Publication:6560158
DOI10.1007/3-540-61377-3_28zbMATH Open1540.03051MaRDI QIDQ6560158
Alexander Leitsch, Matthias Baaz, Richard Zach
Publication date: 21 June 2024
Logic in computer science (03B70) Many-valued logic (03B50) Temporal logic (03B44) Intermediate logics (03B55)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Zum intuitionistischen Aussagekalkül.
- On the interpretability of arithmetic in temporal logic
- Concerning the semantic consequence relation in first-order temporal logic
- Incompleteness of first-order temporal logic with until
- Completeness of a first-order temporal logic with time-gaps
- A propositional calculus with denumerable matrix
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
- Decidability and incompleteness results for first-order temporal logics of linear time
This page was built for publication: Incompleteness of a first-order Gödel logic and some temporal logics of programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560158)
