Knowledge and communication: A first-order theory

DOI10.1016/J.ARTINT.2005.05.002MaRDI QIDQ2457657zbMATH OpenOpenAlexFDO

Authors Ernest Davis

Publication date 23 October 2007

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2005.05.002

zbMATH Keywords

communicationknowledgelogicparadox

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• A First-order Theory of Communication and Multi-agent Plans
• Communication across viewpoints
• scientific article; zbMATH DE number 1790346
• Logics of public communications
• scientific article; zbMATH DE number 4153912

Cites work

• A First-order Theory of Communication and Multi-agent Plans
• A knowledge based semantics of messages
• A modal logic of intentional communication
• A theory of knowledge and ignorance for many agents
• All I know: A study in autoepistemic logic
• Complete axiomatizations for reasoning about knowledge and branching time
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• scientific article; zbMATH DE number 140397 (Why is no real title available?)
• scientific article; zbMATH DE number 1522955 (Why is no real title available?)
• scientific article; zbMATH DE number 1522956 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3298340 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Intention is choice with commitment
• Knowledge, action, and the frame problem
• Planning for conjunctive goals
• Semantical considerations on nonmonotonic logic
• The complexity of reasoning about knowledge and time. I: Lower bounds
• The logic of public announcements, common knowledge, and private suspicions
• What can machines know?

Cited in

(3)

• A First-order Theory of Communication and Multi-agent Plans
• Hidden protocols: modifying our expectations in an evolving world
• John McCarthy's legacy

This page was built for publication: Knowledge and communication: A first-order theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2457657)