A complexity question in justification logic (Q2453576): Difference between revisions

@@ Property / cites work @@
+Q3007238
@@ Property / cites work: Q3007238 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Kolmogorov and Gödel's approach to intuitionistic logic: current developments
+Normal rank
@@ Property / cites work @@
+THE LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / rank @@
+Normal rank
@@ Property / cites work @@
+Lower complexity bounds in justification logic
@@ Property / cites work: Lower complexity bounds in justification logic / rank @@
+Normal rank
@@ Property / cites work @@
+The NP-Completeness of Reflected Fragments of Justification Logics
+Normal rank
@@ Property / cites work @@
+Q4463930
@@ Property / cites work: Q4463930 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of the reflected logic of proofs
+Normal rank
@@ Property / cites work @@
+Referential logic of proofs
@@ Property / cites work: Referential logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753686
@@ Property / cites work: Q2753686 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-referentiality of Justified Knowledge
@@ Property / cites work: Self-referentiality of Justified Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank