Interpolation properties for provability logics GL and GLP (Q2510774): Difference between revisions

@@ Property / arXiv ID @@
+.6652
@@ Property / arXiv ID: 1410.6652 / 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 @@
+A simplified proof of arithmetical completeness theorem for provability logic GLP
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+A sheaf representation and duality for finitely presented Heyting algebras
+Normal rank
@@ Property / cites work @@
+On strong provability predicates and the associated modal logics
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q4694581
@@ Property / cites work: Q4694581 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal frame correspondences and fixed-points
@@ Property / cites work: Modal frame correspondences and fixed-points / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893140
@@ Property / cites work: Q4893140 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2008637522
@@ Property / OpenAlex ID: W2008637522 / rank @@
+Normal rank