Note on some fixed point constructions in provability logic (Q2499296): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56391245
@@ Property / Wikidata QID: Q56391245 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-005-9013-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2072686503
@@ Property / OpenAlex ID: W2072686503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability logic—a short introduction
@@ Property / cites work: Provability logic—a short introduction / rank @@
+Normal rank
@@ Property / cites work @@
+An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
+Normal rank
@@ Property / cites work @@
+The modal logic of provability. The sequential approach
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2499296