Justified common knowledge (Q2500478): Difference between revisions

@@ Property / author @@
+Sergej N. Artemov
@@ Property / author: Sergej N. Artemov / 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.tcs.2006.03.009
+Normal rank
@@ Property / OpenAlex ID @@
+W1968710686
@@ Property / OpenAlex ID: W1968710686 / rank @@
+Normal rank
@@ Property / cites work @@
+About cut elimination for logics of common knowledge
+Normal rank
@@ Property / cites work @@
+Justified and Common Knowledge: Limited Conservativity
+Normal rank
@@ Property / cites work @@
+Logic of proofs
@@ Property / cites work: Logic of proofs / 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 @@
+Introducing Justification into Epistemic Logic
@@ Property / cites work: Introducing Justification into Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Agreeing to disagree
@@ Property / cites work: Agreeing to disagree / rank @@
+Normal rank
@@ Property / cites work @@
+Making knowledge explicit: how hard it is
@@ Property / cites work: Making knowledge explicit: how hard it is / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / 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 @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Active agents
@@ Property / cites work: Active agents / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+The single-conclusion proof logic and inference rules specification
+Normal rank
@@ Property / cites work @@
+Referential logic of proofs
@@ Property / cites work: Referential logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4661968
@@ Property / cites work: Q4661968 / rank @@
+Normal rank
@@ Property / cites work @@
+Elusive Knowledge
@@ Property / cites work: Elusive Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4396604
@@ Property / cites work: Q4396604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376078
@@ Property / cites work: Q4376078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4295869
@@ Property / cites work: Q4295869 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of proofs and provability
@@ Property / cites work: Logic of proofs and provability / rank @@
+Normal rank