Concerning the semantic consequence relation in first-order temporal logic (Q1090673): Difference between revisions

The author considers first-order temporal logics for linear and discrete times. His main result is that these logics are of no finitistic and complete axiomatization as long as the language is sufficiently rich. A similar result can be found in a paper of \textit{M. Abadi} and \textit{Z. Manna} [Lect. Notes Comput. Sci. 193, 1-15 (1985; Zbl 0567.03004)].

0 references

Mathematics Subject Classification ID

03B45

0 references

0 references

0 references

linear time

0 references

discrete time

0 references

temporal logic

0 references

semantic consequence

0 references

completeness

0 references

axiomatization

0 references

0 references

0 references

MaRDI publication profile

0 references

0 references

0 references

0 references

Incompleteness of first-order temporal logic with until

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1090673

@@ Property / author @@
-Andrzej Szałas
@@ Property / author: Andrzej Szałas / rank @@
-Normal rank
@@ Property / reviewed by @@
-Hirokazu Nishimura
@@ Property / reviewed by: Hirokazu Nishimura / rank @@
-Normal rank
@@ Property / author @@
+Andrzej Szałas
@@ Property / author: Andrzej Szałas / rank @@
+Normal rank
@@ Property / reviewed by @@
+Hirokazu Nishimura
@@ Property / reviewed by: Hirokazu Nishimura / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682464
@@ Property / cites work: Q3682464 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677141
@@ Property / cites work: Q3677141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939208
@@ Property / cites work: Q3939208 / rank @@
+Normal rank
@@ Property / cites work @@
+Incompleteness of first-order temporal logic with until
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1090673