NEXP-Completeness and Universal Hardness Results for Justification Logic (Q3194706): Difference between revisions

@@ Property / cites work @@
+A complexity question in justification logic
@@ Property / cites work: A complexity question in justification logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Two-Agent Justification Logic
+Normal rank
@@ Property / cites work @@
+NEXP-Completeness and Universal Hardness Results for Justification Logic
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Justification Logic
@@ Property / cites work: Justification Logic / rank @@
+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 @@
+Q2721196
@@ Property / cites work: Q2721196 / 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 @@
+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 @@
+Complexity results for classes of quantificational formulas
+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 / cites work @@
+Q4833777
@@ Property / cites work: Q4833777 / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting explicit evidence systems
@@ Property / cites work: Interacting explicit evidence systems / rank @@
+Normal rank