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

@@ Property / DOI @@
-.1016/j.jcss.2014.03.009
@@ Property / DOI: 10.1016/j.jcss.2014.03.009 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2014.03.009
+Normal rank
@@ Property / OpenAlex ID @@
+W1970335703
@@ Property / OpenAlex ID: W1970335703 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.JCSS.2014.03.009
@@ Property / DOI: 10.1016/J.JCSS.2014.03.009 / rank @@
+Normal rank