A logic toolbox for modeling knowledge and information in multi-agent systems and social epistemology
Jens Ulrik Hansen · RUCforsk (Roskilde University) · 2011
the end of each chapter, the people who have specifically influenced the particular research in that chapter are acknowledged.In addition, however, I would like to take this opportunity to give a general thanks to a number of people.First of all, I would like to thank my supervisors Torben Braüner and Stig Andur Pedersen for giving me the opportunity to write this PhD dissertation, for inspiring discussions, for encouraging my work, and for providing useful comments on my papers.I would also like to thank the members of my assessment committee, John Gallagher, Wiebe van der Hoek, and Barteld Kooi for accepting to evaluate my thesis and providing numerous insightful comments and suggestion.The papers that constitute chapter 2 and 7 are co-authored with Torben Braüner and Thomas Bolander respectively Sine Zambach.I would like to thank them for exceptionally enjoyable and fruitful collaborations -working together is always more fun than working alone!Thomas Bolander deserves special thanks for many inspiring discussions, for introducing me to the logic community in Denmark, and for always providing plenty of academic and career advice.Also thank you to Valentin Goranko and the rest of the DTUpeople, with whom I have had many inspiring discussions.Thank you to Henriette for proofreading parts of this dissertation.During my PhD studies I also had the chance to spend one year at the Institute of Logic, Language and Computation at the University of Amsterdam and in this connection I have many people to thank.First of all, Frank Veltman for being my official host at the ILLC.Secondly, the teachers, organizers, and participants of the many courses, seminars, workshops, conference, and study groups I attended in Amsterdam.Finally, a thanks goes out to the many people who made my stay in Amsterdam an exceptionally enjoyable experience vii -again, mentioning you all would be exceedingly difficult.Besides of Amsterdam, I have attended many conferences, workshops, and summer schools, where I met numerous interesting people and had countless inspiring discussions.Especially the European Summer School in Logic, Language and Information (ESSLLI) has introduced me to many interesting people and taught me a great deal.Thanks to Vincent Hendricks for bringing ESSLLI to Copenhagen last year, and thanks to the other organizers and student session co-chairs for making it a great experience.Also, thanks to the organizers of the PhDs in Logic workshops, which I much enjoyed as well.In general, throughout the past three and a half years I have benefitted from the discussions with various academic colleagues and friends.There are too many to list and any attempt to make a list would most likely be insufficient.My colleagues, both at the Philosophy and at the Computer Science department at Roskilde University, also deserve a big thank you for creating a most pleasant working environment -especially my fellow PhD students (or postdoc) and friends Christian, Mai, Matthieu, Ole, and Sine.I cannot imagine how I would have completed my PhD studies without Ole and Sine being there.Finally, I would like to thank all of my family (especially my parents and my brother) and friends for putting up with me the past three and a half years.For that I am deeply grateful.Finally, thanks to Kristine for being who she is.