Temporal logics need their clocks (Q1186428): Difference between revisions

Some open problems concerning completeness of first-order temporal logics posed by Abadi and Manna are solved, and some theorems stated by these authors are refuted.

0 references

Mathematics Subject Classification ID

03B45

0 references

zbMATH DE Number

36588

0 references

zbMATH Keywords

completeness

0 references

first-order temporal logics

0 references

reviewed by

Grigori Mints

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

The power of temporal proofs

0 references

Q3208642

0 references

A complete logic for reasoning about programs via nonstandard model theory. I

0 references

A complete logic for reasoning about programs via nonstandard model theory. II

0 references

On the strength of temporal proofs

0 references

Q4132480

0 references

Q3773852

0 references

Q4726228

0 references

Weak second order characterizations of various program verification systems

0 references

0 references

0 references

0 references

0 references

0 references

Total correctness in nonstandard logics of programs

0 references

Corrigendum to: ``The power of temporal proofs''

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1186428

@@ Property / cites work @@
+The power of temporal proofs
@@ Property / cites work: The power of temporal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208642
@@ Property / cites work: Q3208642 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete logic for reasoning about programs via nonstandard model theory. I
+Normal rank
@@ Property / cites work @@
+A complete logic for reasoning about programs via nonstandard model theory. II
+Normal rank
@@ Property / cites work @@
+On the strength of temporal proofs
@@ Property / cites work: On the strength of temporal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132480
@@ Property / cites work: Q4132480 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726228
@@ Property / cites work: Q4726228 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak second order characterizations of various program verification systems
+Normal rank
@@ Property / cites work @@
+Q4190096
@@ Property / cites work: Q4190096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956390
@@ Property / cites work: Q3956390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268476
@@ Property / cites work: Q4268476 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3896482
@@ Property / cites work: Q3896482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698302
@@ Property / cites work: Q3698302 / rank @@
+Normal rank
@@ Property / cites work @@
+Total correctness in nonstandard logics of programs
+Normal rank
@@ Property / cites work @@
+Corrigendum to: ``The power of temporal proofs''
@@ Property / cites work: Corrigendum to: ``The power of temporal proofs'' / rank @@
+Normal rank