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)

• Information flow in logic for distributed systems: extending graded consequence
• scientific article; zbMATH DE number 5703818 (Why is no real title available?)
• Possible worlds semantics based on observation and communication
• Dynamic epistemic logic for channel-based agent communication
• A closeness- and priority-based logical study of social network creation
• scientific article; zbMATH DE number 1543068 (Why is no real title available?)
• Knowledge in communication networks
• Contingency and knowing whether
• 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
• Ajdukiewicz functions and basic inference
• 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)