On first-order theories with provability operator (Q4323033): Difference between revisions

@@ Property / author @@
+Sergej N. Artemov
@@ Property / author: Sergej N. Artemov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2275696
@@ Property / full work available at URL: https://doi.org/10.2307/2275696 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2127066753
@@ Property / OpenAlex ID: W2127066753 / rank @@
+Normal rank
@@ Property / cites work @@
+ON MODAL LOGICS AXIOMATIZING PROVABILITY
@@ Property / cites work: ON MODAL LOGICS AXIOMATIZING PROVABILITY / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / rank @@
+Normal rank
@@ Property / cites work @@
+The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
+Normal rank
@@ Property / cites work @@
+The predicate modal logic of provability
@@ Property / cites work: The predicate modal logic of provability / rank @@
+Normal rank
@@ Property / cites work @@
+The degree of the set of sentences of predicate provability logic that are true under every interpretation
+Normal rank
@@ Property / cites work @@
+Q4052072
@@ Property / cites work: Q4052072 / rank @@
+Normal rank