Proof Theory for Distributed Knowledge

DOI10.1007/978-3-540-88833-8_6zbMath1175.68436OpenAlexW1576791453MaRDI QIDQ3602943

Sara Negri, Raul Hakli

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Related Items (5)

On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ A modal view on resource-bounded propositional logics ⋮ A modal type theory for formalizing trusted communications ⋮ Computing distributed knowledge as the greatest lower bound of knowledge ⋮ Reasoning about collectively accepted group beliefs

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof analysis in modal logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• Answering queries addressed to several databases according to a majority merging approach
• Group knowledge is not always distributed (neither is it always implicit)
• Distributed knowledge
• Cut Elimination in the Presence of Axioms
• What can machines know?
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This page was built for publication: Proof Theory for Distributed Knowledge