Reasoning about knowledge
Logics of communication and change
Information and Computation
Dynamic Epistemic Logic
Common knowledge in interaction structures
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Social and Economic Networks
Computational Social Network Analysis: Trends, Tools and Research Advances
Computational Social Network Analysis: Trends, Tools and Research Advances
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Logic of information flow on communication channels
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Message passing in a dynamic epistemic logic setting
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
| Hi-index | 0.00 |
In this paper, we develop a formal framework for analysing the flow of information and knowledge through social networks. Specifically, we propose a multi-agent epistemic logic in which we can represent and reason about communicative actions based on social networks and the resulting knowledge and ignorance of agents. We apply this logic to formally analyse the "Revolt or Stay-at-home" problem known from the literature, where social networks play an important role in agents' knowledge acquisition and decision-making. We evaluate our work by proving some mathematical properties of our new logic, including the fact that it generalises the existing Logic of Public Announcement.