8-9 Sep 2016
Helsinki, Finland
JAAKKO HINTIKKA MEMORIAL CONFERENCE: Legacy in Game-Theoretical Semantics and Epistemic Logic An international conference in the memory of Professor Jaakko Hintikka (1929-2015) 8 - 9 SEPTEMBER 2016, University of Helsinki The conference focuses on two central themes of his work: game-theoretical semantics and epistemic logic. Venue: Siltavuorenpenger 3 A ?Athena?, room 167 CONFERENCE PROGRAMME 8 SEPTEMBER 9.30 Gabriel Sandu: Welcome words 9:45 Ilkka Niiniluoto: Opening 10:15 John Symons: Hintikka?s View of Logic 11:00 COFFEE BREAK 11:30 Dagfinn Føllesdal: On the genesis of possible worlds semantics 12:15 LUNCH 14:00 Thomas Bolander: Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic 14:45 Tuukka Tanninen: Model set semantics vs. Kripke-semantics 15:30 COFFEE BREAK 16:15 Sara Negri: Knowledge and Belief: From Models to Proofs 17:00 Ondrej Majer: On semantic games for Lukasiewicz logic 9 SEPTEMBER 9:30 Gabriel Sandu: An overview of Hintikka?s work in logic 10:15 Sonja Smets & Alexandru Baltag: Group Knowledge 11:00 COFFEE BREAK 11:30 Simo Knuuttila: Hintikka on Epistemic Logic and Identification 12:15 LUNCH 14:00 Joseph Almog: Natural semantics 14:45 Chen Bo: Hintikka and Williamson on the KK principle 15:30 COFFEE BREAK 16:15 Rasmus Rendsvig: Knowledge and Belief in Flux 17:00 Juan Acero: From pictures to semantical games Local organizing committee: Professor Gabriel Sandu and Tuomas Vesterinen. The conference is sponsored by the research project ?IF Logic and the Philosophy of Mathematics? funded by the Academy of Finland and led by Gabriel Sandu. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam