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

DOI10.1007/3-540-61377-3_28zbMATH Open1540.03051MaRDI QIDQ6560158FDOQ6560158

Authors: Matthias Baaz, Alexander Leitsch, Richard Zach 

Publication date: 21 June 2024

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

zbMATH Keywords

intermediate logicmany-valued logictemporal logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• Gödel-Dummett linear temporal logic

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)