Justifications for common knowledge (Q2901206): Difference between revisions

@@ Property / cites work @@
+About cut elimination for logics of common knowledge
+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 @@
+Syntactic cut-elimination for common knowledge
@@ Property / cites work: Syntactic cut-elimination for common knowledge / 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, logics of knowledge, and conservativity
+Normal rank
@@ Property / cites work @@
+Cut-free common knowledge
@@ Property / cites work: Cut-free common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Self-referential justifications in epistemic logic
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional games with explicit strategies
@@ Property / cites work: Propositional games with explicit strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting explicit evidence systems
@@ Property / cites work: Interacting explicit evidence systems / rank @@
+Normal rank