SOCREAL 2022

----------------------------------------------
DAY 1: 28 February, 2022
----------------------------------------------

15:50 - 15:55 (+0900) [Opening]
Tomoyuki Yamada, Hokkaido University, Japan

----------------------------------------------

[Session 1]
Chair: Tomoyuki Yamada

15:55 - 16:40 [Keynote Lecture 1]
Ryo Hatano, Tokyo University of Science, Japan and Katsuhiko Sano, Hokkaido University, Japan
``Dynamic Logic of Relation Changers Meets Brouwer''

16:45 - 17:30 [Keynote Lecture 2]
Mamoru Kaneko, University of Tsukuba and Waseda University, Japan
``Epistemic Infinite-Regress Logics: the Surface to Deeper Layers and Latent Infinity''

17:35 - 18:20 [Keynote Lecture 3]
Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan
``Plurivalent Logic for Multi-Agent Systems''

----------------------------------------------

[Session 2]
Chair: Satoshi Tojo

18:25 - 18:50 [Contributed Lecture 1]
Yasuo Nakayama, Osaka University, Japan
``Agents, Actions, and Social Reality''

18:55 - 19:20 [Contributed Lecture 2]
Satoru Suzuki, Komazawa University, Japan
``Measurement-Theoretic Remarks on Reducibility of Decision-Theoretic Values of Questions and Answers to Their Information Values''

19:20-20:10 [Break]

20:10 - 20:55 [Keynote Lecture 4]
Fenrong Liu, Tsinghua University, China
``A Simple Logic of the Hide and Seek Game''

21:00 - 21:45 [Keynote Lecture 5]
Johan van Benthem, University of Amsterdam, Netherlands, Stanford University, USA, and Tsinghua University, China
``Graph Games and Logic Design''

----------------------------------------------
DAY 2: 1 March, 2022
----------------------------------------------

[Session 3]
Chair: Mamoru Kaneko

16:00 - 16:45 [Keynote Lecture 6]
Jeremy Seligman, The University of Auckland, New Zealand
``Inference as Belief Change''

16:50 - 17:35 [Keynote Lecture 7]
Tomoyuki Yamada, Hokkaido University, Japan
``Completeness of Common sense Term-Sequnce-Deontic-Alethic Logic''

17:40 - 18:05 [Contributed Lecture 3]
Masanobu Toyooka and Katsuhiko Sano, Hokkaido University, Japan
``Craig Interpolation for a Sequent Calculus for Combining Intuitionistic and Classical Propositional Logic''

----------------------------------------------
[Session 4]
Chair: Katsuhiko Sano

18:10 - 18:35 [Contributed Lecture 4]
Tomoaki Kawano, Tokyo Institute of technology, Japan
``Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic''

18:40 - 19:05 [Contributed Lecture 5]
Leonardo Pacheco and Kazuyuki Tanaka, Tohoku University, Japan
``On the Degrees of Ignorance: via Epistemic Logic and μ-Calculus''

19:10 - 19:55 [Keynote Lecture 8]
Sonja Smets, University of Amsterdam, Netherlands
``The Creation and Change of Social Networks''

19:55-20:45 [Break]

20:45 - 21:30 [Keynote Lecture 9]
Alexandru Baltag, University of Amsterdam, Netherlands
``Learning what Others Know''

----------------------------------------------

21:30 - 21:35 [Closing]
Katsuhiko Sano, Hokkaido University, Japan

----------------------------------------------