Distributed knowledge justification logics (Q2254486): Difference between revisions

@@ Property / DOI @@
-.1007/s00224-013-9492-x
@@ Property / DOI: 10.1007/s00224-013-9492-x / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2063610554
@@ Property / OpenAlex ID: W2063610554 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4647
@@ Property / arXiv ID: 1407.4647 / 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 @@
+THE LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / rank @@
+Normal rank
@@ Property / cites work @@
+Tracking Evidence
@@ Property / cites work: Tracking Evidence / rank @@
+Normal rank
@@ Property / cites work @@
+Justifications for common knowledge
@@ Property / cites work: Justifications for common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Realizing public announcements by justifications
@@ Property / cites work: Realizing public announcements by justifications / rank @@
+Normal rank
@@ Property / cites work @@
+What can machines know?
@@ Property / cites work: What can machines know? / 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 @@
+Justification logics, logics of knowledge, and conservativity
+Normal rank
@@ Property / cites work @@
+Distributed Knowledge with Justifications
@@ Property / cites work: Distributed Knowledge with Justifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4898096
@@ Property / cites work: Q4898096 / rank @@
+Normal rank
@@ Property / cites work @@
+Realization for justification logics via nested sequents: modularity through embedding
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+Public communication in justification logic
@@ Property / cites work: Public communication in justification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-agent justification logic: communication and evidence elimination
+Normal rank
@@ Property / cites work @@
+Distributed knowledge
@@ Property / cites work: Distributed knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting explicit evidence systems
@@ Property / cites work: Interacting explicit evidence systems / rank @@
+Normal rank
@@ Property / cites work @@
+MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
@@ Property / cites work: MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955425
@@ Property / cites work: Q4955425 / rank @@
+Normal rank
@@ Property / cites work @@
+Group knowledge is not always distributed (neither is it always implicit)
+Normal rank
@@ Property / cites work @@
+Q4904077
@@ Property / cites work: Q4904077 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00224-013-9492-X
@@ Property / DOI: 10.1007/S00224-013-9492-X / rank @@
+Normal rank