On the positive fragment of the polymodal provability logic GLP (Q2435945): Difference between revisions

@@ Property / cites work @@
+Provability algebras and proof-theoretic ordinals. I
+Normal rank
@@ Property / cites work @@
+On strong provability predicates and the associated modal logics
+Normal rank
@@ Property / cites work @@
+Q5494229
@@ Property / cites work: Q5494229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3085172
@@ Property / cites work: Q3085172 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new semantics for positive modal logic
@@ Property / cites work: A new semantics for positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904059
@@ Property / cites work: Q2904059 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3085175
@@ Property / cites work: Q3085175 / rank @@
+Normal rank
@@ Property / cites work @@
+A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
+Normal rank
@@ Property / cites work @@
+Kripke semantics for provability logic GLP
@@ Property / cites work: Kripke semantics for provability logic GLP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank