Floor Sietsma: Curriculum Vitae - CWI

Floor Sietsma 3
Publications
Logics of Communication and Knowledge. PhD thesis, 2012
Action Emulation Between Canonical Models, with Jan van Eijck. Proceedings of the 10th Conference
on Logic and the Foundations of Game and Decision Theory, to appear.
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO, with Hans van Ditmarsch,
Jan van Eijck, Ignacio Hernandez Anton, Floor Sietsma, Sunil Simon, Fernando Soler Toscano. Proceedings
of Multi-Agent Systems for Safety and Security, to appear.
Common Knowledge in Email Exchanges, with Krzysztof Apt. Transactions on Computational Logic,
to appear.
On the Logic of Lying, with Hans van Ditmarsch, Jan van Eijck, Yanjing Wang. Games, Actions and
Social Software, LNCS 7010, 2012.
Message Passing in a Dynamic Epistemic Logic Setting, with Jan van Eijck. Thirteenth Conference on
Theoretical Aspects of Rationality and Knowledge, 2011.
Reflections on Vote Manipulation, with Jan van Eijck and Sunil Simon. Logic, Rationality and Interaction,
2011.
Composing Models, with Jan van Eijck, Yanjing Wang. Journal of Applied Non-Classical Logics, 2011.
Message Generated Kripke Semantics, with Jan van Eijck. 10th International Conference on Autonomous
Agents and Multiagent Systems, 2011.
Logic of Information Flow on Communication Channels, with Jan van Eijck, Yanjing Wang. 9th International
Conference on Autonomous Agents and Multiagent Systems, 2010.
A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic
Transition Systems, MSc Thesis, 2009.
Multi-Agent Belief Revision with Linked Preferences, with Jan van Eijck. 8th Conference on Logic and
the Foundations of Game and Decision Theory, 2008.
Cooperative Boolean Games, based on a paper by Dunne et al., written as coursework in 2008.
Model Checking for Dynamic Epistemic Logic with Factual Change, BSc Thesis, 2007.