Logic of Information Flow on Communication Channels (Extended Abstract)
2010
We develop an epistemic logic to specify and reason about infor- mation flow and its underlying communication channels. By com- bining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of mod- elling multi-agent communication scenarios with different assump- tions about the observational power of agents.
Keywords:
- Theoretical computer science
- Materials science
- Inorganic chemistry
- Epistemic modal logic
- Logic of information
- Information flow (information theory)
- Temporal logic of actions
- Multimodal logic
- Dynamic logic (digital electronics)
- Autoepistemic logic
- Description logic
- Semantics
- Communication channel
- Computer science
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
7
References
4
Citations
NaN
KQI