The Program
----------------------------------------------
DAY 1: 15 November 2019
----------------------------------------------
14:00 - [Registration] Elevater Hall, 3rd Floor, Building W
14:30 - 14:35 [Opening] W308
Tomoyuki Yamada, Hokkaido University, Japan
----------------------------------------------
[Session 1] Quantified Modal Logic and Social Ontology, W308
Chairs: Tomoyuki Yamada & Katsuhiko Sano
14:40 - 16:00 [Keynote Lecture 1]
Jeremy Seligman, University of Auckland, New Zealand,
``What is and what might have been''
16:00-16:20 [Break]
16:20 - 17:00 [Contributed Lecture 1]
Takahiro Sawasaki, Hokkaido University, Japan
``A Sequent Calculus for K-restricted Common Sense Modal Predicate Logic''
17:05 - 17:45 [Contributed Lecture 2]
David Strohmaier, University of Cambridge, UK
``There Are no Empty Groups"
----------------------------------------------
18:00 - 20:00 [Reception] W517
----------------------------------------------
DAY 2: 16 November 2019
----------------------------------------------
[Session 2] Social Reality & Comunication, W409
Chairs: Barteld Kooi & Sujata Ghosh
10:00 - 11:20 [Keynote Lecture 2]
Tomoyuki Yamada, Hokkaido University, Japan
``Count-as Conditionals in Channel Theory''
11:20-11:40 [Break]
11:40 - 12:20 [Contributed Lecture 3]
Maryam Ebrahimi Dinani, Institut Jean Nicod, France
``Constitutive Rules of Social Practices: Definitional or Essential?''
12:25 - 13:05 [Contributed Lecture 4]
Maria Isabel Narváez Mora, Universitat de Girona, Spain
``A Classification of Discursive References to Settle What is Modified
by Talking and Why it is So''
----------------------------------------------
13:05 - 14:40 [Lunch Break]
----------------------------------------------
[Session 3] Knowledge, Morality & Decision, W409
Chairs: Tomoyuki Yamada & Katsuhiko Sano
14:40 - 16:00 [Keynote Lecture 3]
Thomas Ågotnes (University of Bergen, Norway,
and Southwest University, China)
``The Dynamics of Group Knowledge and Belief''
16:00-16:20 [Break]
16:20 - 17:00 [Contributed Lecture 5]
Satoru Suzuki, Komazawa University, Japan
``A Measurement-Theoretic Modification of Harvey's Aggregation Theorem''
17:05 - 17:45 [Contributed Lecture 6]
Sujata Ghosh, Indian Stastical Institute, India
``Single-Peakedness of Preferences via Deliberation: A Formal Study''
----------------------------------------------
18:00 - 20:00 [Conference Dinner] W408
----------------------------------------------
DAY 3: 17 November 2019
----------------------------------------------
[Session 4] Logics of Knowledge, W409
Chairs: Jeremy Seligman & Thomas Ågotnes
10:00 - 11:20 [Keynote Lecture 4]
Barteld Kooi, University of Groningen, The Netherlands
``Dynamic Term-Modal Logic Revisited''
11:20-11:40 [Break]
11:40 - 12:20 [Contributed Lecture 7]
Youan Su & Katsuhiko Sano, Hokkaido University, Japan
``Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic''
12:25 - 13:05 [Contributed Lecture 8]
Ryo Murai & Katsuhiko Sano, Hokkaido University, Japan
``Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge''
----------------------------------------------
13:05 - 13:10 [Closing] W409
Katsuhiko Sano, Hokkaido University, Japan
----------------------------------------------