Proof Theory for Distributed Knowledge
From MaRDI portal
Publication:3602943
DOI10.1007/978-3-540-88833-8_6zbMATH Open1175.68436OpenAlexW1576791453MaRDI QIDQ3602943
Publication date: 12 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-88833-8_6
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cites Work
- Structural proof theory. With an appendix by Aarne Ranta
- Cut Elimination in the Presence of Axioms
- Proof analysis in modal logic
- A guide to completeness and complexity for modal logics of knowledge and belief
- Group knowledge is not always distributed (neither is it always implicit)
- Distributed knowledge
- What can machines know?
- Answering queries addressed to several databases according to a majority merging approach
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (9)
- Title not available (Why is that?)
- Recording and analysing knowledge-based distributed deduction processes
- A modal type theory for formalizing trusted communications
- Computing distributed knowledge as the greatest lower bound of knowledge
- A modal view on resource-bounded propositional logics
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge
- Reasoning about collectively accepted group beliefs
- Abduction of distributed theories through local interactions
- Distributed knowability and Fitch's paradox
Uses Software
This page was built for publication: Proof Theory for Distributed Knowledge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602943)
