The Program
-------------------------------
DAY 1: 25 OCT Friday
-------------------------------
10:00-11:00 [Registration]
11:00-11:10 [Opening] Thomas Ågotnes & Tomoyuki Yamada
[Session 1] Logic, Knowledge, and Philosophy of Language
11:10-12:10 [Invited Lecture 1] Thomas Ågotnes, ``True lies''
12:10-12:20 Break
12:20-13:00 [Accepted Lecture 01] Yohei Fukayama, Koji Nakatogawa, and Hisashi Kitamura, ``Toward sheaf semantics for a multi-agent substructural modal logic''
13:00-15:00 Lunch Break
[Session 2] Imperatives and Norms
15:00-16:00 [Invited Lecture 2] Berislav arnić, ``Logical normativity in communication ethics''
16:00-16:10 Break
16:10-16:50 [Accepted Lecture 02] Gleb V. Karpov, ``Why there was no success in resolving Jorgensen's dilemma?''
16:50-17:00 Break
17:00-17:40 [Accepted Lecture 03] Alessio Antonini, Cecilia Blengino, Guido Boella, and Leendert van der Torre, ``Norm dynamics: institutional facts, social rules and practice''
-------------------------------
DAY 2: 26 OCT Saturday
-------------------------------
[Session 3] Logic, Norms, and Preferences
09:30-10:30 [Invited Lecture 3] Fenrong Liu, ``Some perspectives on ceteris paribus preference''
10:30-10:40 Break
10:40-11:20 [Accepted Lecture 04] Yasuo Nakayama, ``Dynamic Normative Logic and Information Update''
11:20-11:30 Break
11:30-12:10 [Accepted Lecture 05] Xin Sun, `` `To be or not to be' ≠ `to kill or not to kill': a logic on action negation''
12:10-12:20 Break
12:20-13:00 [Accepted Lecture 06] Satoru Suzuki, ``Measurement-Theoretic Foundations of Preference Aggregation Logic for Weighted Utilitarianism''
13:00-15:00 Lunch Break
[Session 4] Agency, Responsibility, and Intentionality
15:00-16:00 [Invited Lecture 4] Tomoyuki Yamada, ``Preconditions, common sense reasoning, and context shifts''
16:00-16:10 Break
16:10-16:50 [Accepted Lecture 07] Takuya Niikawa, Riichiro Hira, and Toshihiro Kotani, ``A naturalistic approach to freedom and responsibility''
16:50-17:00 Break
17:00-17:40 [Accepted Lecture 08] Sjur K. Dyrkolbotn, Ragnhild H. Jordahl, and Hannah A. Hansen, ``Contemplating counterfactuals: On the connection between agency and metaphysical possibility''
-------------------------------
DAY 3: 27 OCT Sunday
-------------------------------
[Session 5] Games, Knowledge, and Interaction
09:30-10:30 [Invited Lecture 5] Mamoru Kaneko and Tai-Wei Hu, ``Interactive incompleteness for prediction/decision making in games''
10:30-10:40 Break
10:40-11:20 [Accepted Lecture 09] Piotr Kaźmierczak, ``Compliance games''
11:20-11:30 Break
11:30-12:10 [Accepted Lecture 10] Chanjuan Liu, Fenrong Liu, and Kaile Su, ``Strategic reasoning in extensive games with short sight''
12:10-12:20 Break
12:20-13:00 [General Discussion]
13:00-13:10 [Closing]
-------------------------