Incompleteness of a first-order Gödel logic and some temporal logics of programs
type: Item
instance of: scholarly article
title: Incompleteness of a first-order Gödel logic and some temporal logics of programs
zbMATH Open document ID: 1540.03051
DOI: 10.1007/3-540-61377-3_28
author: Matthias Baaz
author: Alexander Leitsch
author: Richard Zach
publication date: 2024-06-21T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 7869514
zbMATH Keywords: temporal logic
zbMATH Keywords: intermediate logic
zbMATH Keywords: many-valued logic
MaRDI profile type: Publication
cites work: Q4840168
cites work: Completeness of a first-order temporal logic with time-gaps
cites work: A propositional calculus with denumerable matrix
cites work: Zum intuitionistischen Aussagekalkül.
cites work: Q3749040
cites work: On the interpretability of arithmetic in temporal logic
cites work: Decidability and incompleteness results for first-order temporal logics of linear time
cites work: Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
cites work: Concerning the semantic consequence relation in first-order temporal logic
cites work: Incompleteness of first-order temporal logic with until
cites work: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
description: scientific article; zbMATH DE number 7869514