Proof Theory for Distributed Knowledge

DOI10.1007/978-3-540-88833-8_6MaRDI QIDQ3602943zbMATH OpenOpenAlexFDO

Authors Raul Hakli, Sara Negri

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

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

Recommendations

• Craig interpolation of epistemic logics with distributed knowledge
• Resolving distributed knowledge
• Resolving distributed knowledge
• Distributed knowledge with justifications
• Distributed knowledge justification logics

Cites work

• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 1418379 (Why is no real title available?)
• scientific article; zbMATH DE number 1453144 (Why is no real title available?)
• scientific article; zbMATH DE number 3196545 (Why is no real title available?)
• 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
• Cut Elimination in the Presence of Axioms
• Distributed knowledge
• Group knowledge is not always distributed (neither is it always implicit)
• Proof analysis in modal logic
• Structural proof theory. With an appendix by Aarne Ranta
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• What can machines know?

Cited in

(18)

• scientific article; zbMATH DE number 6863657 (Why is no real title available?)
• Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
• Recording and analysing knowledge-based distributed deduction processes
• A modal type theory for formalizing trusted communications
• Mathematical arguments and distributed knowledge
• Computing distributed knowledge as the greatest lower bound of knowledge
• Termination of derivations in a fragment of transitive distributed knowledge logic
• Distributed knowledge
• Resolving distributed knowledge
• A modal view on resource-bounded propositional logics
• On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge
• Craig interpolation of epistemic logics with distributed knowledge
• Loop-check elimination for non-transitive distributed knowledge logic
• Resolving distributed knowledge
• Reasoning about collectively accepted group beliefs
• Distributed knowing whether (extended abstract)
• Abduction of distributed theories through local interactions
• Distributed knowability and Fitch's paradox

Describes a project that uses

Uses Software

• Pesca

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)