Lower complexity bounds in justification logic (Q408543): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2011.09.010
@@ Property / DOI: 10.1016/j.apal.2011.09.010 / rank @@
-Normal rank
@@ Property / cites work @@
+A Complexity Question in Justification Logic
@@ Property / cites work: A Complexity Question in Justification Logic / 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 @@
+Justified common knowledge
@@ Property / cites work: Justified common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+THE LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / rank @@
+Normal rank
@@ Property / cites work @@
+Why Do We Need Justification Logic?
@@ Property / cites work: Why Do We Need Justification Logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Omniscience Via Proof Complexity
@@ Property / cites work: Logical Omniscience Via Proof Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Justification into Epistemic Logic
@@ Property / cites work: Introducing Justification into Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The deduction rule and linear and near-linear proof simulations
+Normal rank
@@ Property / cites work @@
+Justifications for common knowledge
@@ Property / cites work: Justifications for common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+The NP-Completeness of Reflected Fragments of Justification Logics
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / 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 @@
+Justification logics and hybrid logics
@@ Property / cites work: Justification logics and hybrid logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / 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 @@
+Annual Meeting of the Association for Symbolic Logic
+Normal rank
@@ Property / cites work @@
+Self-referential justifications in epistemic logic
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+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 @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4822945
@@ Property / cites work: Q4822945 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2011.09.010
@@ Property / DOI: 10.1016/J.APAL.2011.09.010 / rank @@
+Normal rank