Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735): Difference between revisions

@@ Property / author @@
-Fedor N. Pakhomov
@@ Property / author: Fedor N. Pakhomov / rank @@
-Normal rank
@@ Property / author @@
+Fedor N. Pakhomov
@@ Property / author: Fedor N. Pakhomov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477944
@@ Property / cites work: Q5477944 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On strong provability predicates and the associated modal logics
+Normal rank
@@ Property / cites work @@
+A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
+Normal rank
@@ Property / cites work @@
+The undecidability of the first-order theory of diagonalizable algebras
+Normal rank
@@ Property / cites work @@
+The finite inseparability of the first-order theory of diagonalisable algebras
+Normal rank
@@ Property / cites work @@
+On propositional quantifiers in provability logic
@@ Property / cites work: On propositional quantifiers in provability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability in diagonalizable algebras
@@ Property / cites work: Undecidability in diagonalizable algebras / rank @@
+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 @@
+Q5483298
@@ Property / cites work: Q5483298 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+On provability logics with linearly ordered modalities
+Normal rank