Title: A Logic for Knowledge Flow in Social Networks Authors: Ji Ruan and Michael Thielscher School of Computer Science and Engineering, The University of New South Wales, Australia Abstract: In this paper, we develop a formal framework for analysing the flow of information and knowledge through social networks. More specifically, we propose a multi-agent epistemic logic in which [...]

Title: The Epistemic Logic Behind the Game Description Language Authors: Ji Ruan and Michael Thielscher School of Computer Science and Engineering The University of New South Wales, Australia Abstract: A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game [...]