Floor Sietsma
I'm a Postdoc at CWI. Some topics that interest me are epistemic logic, modal logic,
game theory and social choice theory.
I'm always interested in new topics and cooperations, so feel free to contact me!
f.sietsma[at]cwi.nl
Room L2.28
020-592 4266
Curriculum Vitae
Publications:
Logics of Communication and Knowledge
PhD thesis, 2012
Action Emulation Between Canonical Models
Floor Sietsma and 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
Hans van Ditmarsch, Jan van Eijck, Ignacio Hernandez Anton, Floor Sietsma, Sunil Simon, Fernando Soler Toscano
Proceedings of PAAMS workshop Multi-Agent Systems for Safety and Security, to appear
Common Knowledge in Email Exchanges
Floor Sietsma and Krzysztof Apt
Message Passing in a Dynamic Epistemic Logic Setting
Floor Sietsma and Jan van Eijck
Proceedings of Thirteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2011
Reflections on Vote Manipulation
Jan van Eijck, Floor Sietsma and Sunil Simon
Proceedings of Logic, Rationality and Interaction 2011
Composing Models
Jan van Eijck, Yanjing Wang and Floor Sietsma
Journal of Applied Non-Classical Logics, 2011
Message Generated Kripke Semantics
Jan van Eijck and Floor Sietsma
Proceedings of AAMAS 2011
On the Logic of Lying
Hans van Ditmarsch, Jan van Eijck, Floor Sietsma and Yanjing Wang, 2011
Logic of Information Flow on Communication Channels
Yanjing Wang, Floor Sietsma and Jan van Eijck
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
Floor Sietsma
Master Thesis, 2009
Multi-Agent Belief Revision with Linked Plausibilities
Jan van Eijck and Floor Sietsma
8th Conference on Logic and the Foundations of Game and Decision Theory, 2008
Cooperative Boolean Games
Floor Sietsma
Coursework, 2008
Model Checking for Dynamic Epistemic Logic with Factual Change
Floor Sietsma
Bachelor Thesis, 2007
CWI DISCLAIMER