Finite Kripke models and predicate logics of provability (Q3211282): Difference between revisions

@@ Property / cites work @@
+The predicate modal logic of provability
@@ Property / cites work: The predicate modal logic of provability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / 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 @@
+The degree of the set of sentences of predicate provability logic that are true under every interpretation
+Normal rank
@@ Property / cites work @@
+Ein erweiterter Klassenkalkül
@@ Property / cites work: Ein erweiterter Klassenkalkül / rank @@
+Normal rank