Proof Theory for Distributed Knowledge (Q3602943): Difference between revisions

@@ 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.1007/978-3-540-88833-8_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1576791453
@@ Property / OpenAlex ID: W1576791453 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941943
@@ Property / cites work: Q4941943 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732915
@@ Property / cites work: Q5732915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Answering queries addressed to several databases according to a majority merging approach
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+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 @@
+Distributed knowledge
@@ Property / cites work: Distributed knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+What can machines know?
@@ Property / cites work: What can machines know? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank