Logic of information flow on communication channels

DOI10.1007/978-3-642-20715-0_8MaRDI QIDQ2999243zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(17)

• A closeness- and priority-based logical study of social network creation
• On the logic of balance in social networks
• Information flow in logic for distributed systems: extending graded consequence
• Belief and the epistemic channel
• Dynamic epistemic logic for channel-based agent communication
• Knowledge in communication networks
• Information transmission in il systems^∗
• Possible worlds semantics based on observation and communication
• scientific article; zbMATH DE number 5703818 (Why is no real title available?)
• Dynamic logics for explicit and implicit information
• scientific article; zbMATH DE number 1543068 (Why is no real title available?)
• Ajdukiewicz functions and basic inference
• On the Logic of Information Flow
• Contingency and knowing whether
• Disjunctive Information Flow for Communicating Processes
• To know or not to know: Epistemic approaches to security protocol verification
• Ockham's razor and reasoning about information flow

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)