Logic of information flow on communication channels

DOI10.1007/978-3-642-20715-0_8zbMATH Open1325.68240OpenAlexW3137475490MaRDI QIDQ2999243FDOQ2999243

Authors: Yanjing Wang, Floor Sietsma, Jan van Eijck 

Publication date: 11 May 2011

Published in: Declarative Agent Languages and Technologies VIII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20715-0_8

Recommendations

• Dynamic epistemic logic for channel-based agent communication
• Knowledge in communication networks
• Logics of communication and change
• scientific article; zbMATH DE number 1543068
• Observing Distributed Computation. A Dynamic-Epistemic Approach

Mathematics Subject Classification ID

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

Cited In (12)

• CONTINGENCY AND KNOWING WHETHER
• Title not available (Why is that?)
• Title not available (Why is that?)
• A closeness- and priority-based logical study of social network creation
• On the Logic of Information Flow
• To know or not to know: Epistemic approaches to security protocol verification
• Ockham's razor and reasoning about information flow
• Dynamic logics for explicit and implicit information
• On the logic of balance in social networks
• Information transmission in il systems^∗
• Belief and the epistemic channel
• Disjunctive Information Flow for Communicating Processes

This page was built for publication: Logic of information flow on communication channels

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