Explicit fixed points in interpretability logic (Q1176094): Difference between revisions

The explicit definability of fixed points is proved for the interpretability logic IL. The authors also show that the uniqueness is an immediate corollary of a theorem of Smoryński and that the fixed points can be simplified in the case of ILW.

0 references

Mathematics Subject Classification ID

03B45

0 references

0 references

0 references

0 references

provability logic

0 references

explicit definability of fixed points

0 references

interpretability logic

0 references

reviewed by

Osamu Sonobe

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

0 references

Modal analysis of generalized rosser sentences

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1176094

@@ Property / author @@
-Dick H. J. de Jongh
@@ Property / author: Dick H. J. de Jongh / rank @@
-Normal rank
@@ Property / reviewed by @@
-Osamu Sonobe
@@ Property / reviewed by: Osamu Sonobe / rank @@
-Normal rank
@@ Property / author @@
+Dick H. J. de Jongh
@@ Property / author: Dick H. J. de Jongh / rank @@
+Normal rank
@@ Property / reviewed by @@
+Osamu Sonobe
@@ Property / reviewed by: Osamu Sonobe / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694209
@@ Property / cites work: Q4694209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947660
@@ Property / cites work: Q3947660 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal analysis of generalized rosser sentences
@@ Property / cites work: Modal analysis of generalized rosser sentences / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1176094