Incompleteness of a first-order Gödel logic and some temporal logics of programs

DOI10.1007/3-540-61377-3_28MaRDI QIDQ6560158zbMATH OpenFDO

Authors Matthias Baaz, Alexander Leitsch, Richard Zach

Publication date 21 June 2024

Full work available at URL https://doi.org/10.1007/3-540-61377-3_28

zbMATH Keywords

intermediate logicmany-valued logictemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Many-valued logic (03B50) Intermediate logics (03B55) Logic in computer science (03B70)

Recommendations

• First-order Gödel logics
• Incompleteness of first-order temporal logic with until
• On the classification of first order Gödel logics
• Completeness of a first-order temporal logic with time-gaps
• Completeness theorem for a first order linear-time logic

Cites work

• A propositional calculus with denumerable matrix
• Completeness of a first-order temporal logic with time-gaps
• Concerning the semantic consequence relation in first-order temporal logic
• Decidability and incompleteness results for first-order temporal logics of linear time
• Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• scientific article; zbMATH DE number 777292 (Why is no real title available?)
• Incompleteness of first-order temporal logic with until
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• On the interpretability of arithmetic in temporal logic
• Zum intuitionistischen Aussagekalkül.

Cited in

(2)

• Gödel-Dummett linear temporal logic
• Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables

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)