University of Amsterdam Joint Research Centre for Logic

Tsinghua University - University of Amsterdam Joint Research Centre for Logic

Annual Report 2016

ABOUT THE CENTER In 2013, Tsinghua University and the University of Amsterdam (UvA) instituted a joint research centre for logic (JRC), based on a long-standing history of cooperation. The mission of the centre is to create an active interface in research and education between the Institute for Logic, Language and Computation (ILLC) at the UvA and the Logic Group at Tsinghua and collaborators elsewhere in China, in a collegial spirit of public service.

STATEMENT FROM THE DIRECTORS

After its founding events, and an opening ceremony of the JRC at Tsinghua in July 2014, the JRC has started its regular activities in 2015. Progress continues in three research projects, as does education in pure and applied logic, our graduate program is expanding, and several academic events have taken place. This report gives some basic information. Further details can be found at our website: http://www.tsinghualogic.net/JRC

RESEARCH PROJECTS

JRC administers three programs involving UvA and Tsinghua participants. The following list contains main active participants, key publications, and funding sources in 2016:

Logic and Agency Goal: Investigation of reasoning agents in complex informational social settings.

Core group: Alexandru Baltag (ILLC), Johan van Benthem (ILLC), Jan van Eijck (ILLC), Fen- rong Liu (Tsinghua), Jeremy Seligman (Auckland), Sonja Smets (ILLC), Kaile Su (Griffith).

Key publications: 1. Johan van Benthem. Tracking Information, in K. Bimbó, ed., Michael Dunn on Information-Based Logics, Springer, Dordrecht, 363–389, 2016 2. Fenrong Liu and Emiliano Lorini. Reasons to Believe in a Social Environment, in Proceedings of the 13th International Conference on Deontic Logic and Normative Systems (DEON 2016), College Publications: London 3. Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo & Aixiang Chen. A First- order Coalition Logic for BDI-agents, Frontiers of Computer Science 10(2), 233-245, 2016 4. Chenwei Shi and Sonja Smets, Beliefs Supported by Arguments. Proc’s Chinese Con- ference on Logic and Argumentation (CLAR 2016), CEUR proceedings, Hangzhou

Highlight: ILLC Research seminar Logics for Social Networks, Johan van Benthem and Fenrong Liu, January 2016. Results include a Springer best student paper at ESSLLI 2016, Bolzano-Bozen, Italy, by Anthia Solaki, Zoi Terzopoulou, and Bonan Zhao.

Funding: 1. KNAW exchange grant “The Logical Dynamics of Information Exchange in Social Networks” (2014–2016, Alexandru Baltag & Fenrong Liu), with 14 researchers 2. “Model-Checking Dynamic Epistemic Logic” (2014–2017, Fenrong Liu & Kaile Su, Johan van Benthem, Jan van Eijck), National Natural Science Foundation of China

History of Logic in China Goal: Bring together Chinese and international researchers working on the history of logic in China, broadly conceived, centered around the creation of a Handbook of the History of Logical Thought in China, and related events.

Core group: Peter van Emde Boas (ILLC), Chad Hansen (Hong Kong), Christoph Harbsmeier (Oslo), Fenrong Liu (Tsinghua), Jeremy Seligman (Auckland), Jincheng Zhai (Nankai).

Key publications: 1. Christoph Harbsmeier. Irrefutable Conjectures. A Review of William H. Baxter and Laurent Sagart, Old Chinese. A New Reconstruction, Monumenta Serica, 64:2, 445-504, 2016. DOI: 10.1080/02549948.2016.1259882 2. Jincheng Zhai. On the Origin of Chinese Logical Thought in Modern China, Journal of Chinese Universities and Social Sciences, Issue 1, 2016 3. Peter van Emde Boas & Ghica van Emde Boas. The Rules of Victorious Warriors; Logical and Game Theoretical Aspects of Strategy Theory in Ancient China. Chapter for the forthcoming Handbook of the History of Logical Thought in China. Preprint ILLC-PP-2016-22

Highlight: Two workshops in 2016, focusing on the translation of handbook chapters, English into Chinese, and vice versa. Authors met translators, with fruitful interactions. Feb 25-26: Workshop on Logic, Language and Translation July 2: The History of Logical Thought in China: Glossaries and Translation

Logic, Language and Philosophy Goal: Exploring new interfaces between language, logic, philosophy, and culture. Core group: Martin Stokhof (ILLC), Frank Veltman (ILLC), Lu Wang (Tsinghua), Fengkui Ju (Beijing Normal University), Chongli Zou (CASS), Dag Westerståhl (Stockholm).

Key publications: 1. Martin Stokhof & Michiel van Lambalgen. What Cost Naturalism? in K. Balogh & W. Petersen eds., Bridging Formal and Conceptual Semantics. Selected papers of BRIDGE-14, /Düsseldorf University Press, Düssseldorf, 2016, pp. 89-117 2. Lu Wang. Language and the World (语言与世界), Peking University Press, 2016 3

3. Denis Bonnay & Dag Westerståhl. Compositionality Solves Carnap's Problem. Erkenntnis, 81(4): 721-739, 2016 4. Fengkui Ju & Jan van Eijck. To Do Something Else, in O. Roy, A. Tamminga and M. Willer, editors, Proceedings of the 13th International Conference of Deontic Logic and Normative Systems, College Publications, 2016, pp. 109-122

Highlight: Tsinghua Workshop on Logical Methods in Philosophy and Linguistics: Scope and Limits, October 29, Tsinghua University, http://tsinghualogic.net/JRC/?p=859. This event was devoted to exchange and discussion of views. Talks: Johan van Benthem (Logic and philosophy, an empirical chronicle of comings and goings), Wang Lu (Being and Truth: two ways in the research of philosophy), Ahti-Veikko Pietarinen (Peirce's Philosophy of Logic), Zhou Yuncheng (Towards a semantics of know-that), Wang Yanjing (A Logic of Knowing Why), Martin Stokhof (Logic in philosophy: an instrumental view)

Further research activities Junhua Yu’s paper ‘Instantial Neighborhood Logic’ with Johan van Benthem, Nick Bezha- nishvili and Sebastian Enqvist was accepted for publication in the Review of Symbolic Logic. Yu presented "Instantial neighborhood logic with its tableau system" at the Third International Workshop on Proof Theory, Modal Logic and Reflection Principles, Sep. 5– 9, Tbilisi State University, Georgia. Jan van Eijck and Fengkui Ju started a joint project on deontic logic and legal reasoning. Fenrong Liu spent her sabbatical at Stanford University starting August 2016, as a Berggruen Fellow at the Center for Advanced Study in the Behavioral Sciences on the topic of reasoning and its social and intercultural dimensions.

APPOINTMENTS New appointments in 2016 that help define the JRC.

• Fenrong Liu, Changjiang Distinguished Professor, Chinese Ministry of Education • Jeremy Seligman, Weilun Professor, Tsinghua • Jin Yuelin Chair Distinguished Professorship, a newly created position at Tsinghua, first holders Johan van Benthem, Martin Stokhof, Dag Westerståhl, and Jeremy Seligman. This team will start work in 2017, teaching courses and seminars, supervising students, and carrying out research at Tsinghua.

VISITORS The centre hosts international visitors on a regular basis who engage in joint research, participate in centre events, and may conduct intensive courses and seminars for graduate students. The following list contains international visitors at both sites in 2016.

Tsinghua Feb, Jeremy Seligman (University of Auckland), HOLIC project Apr, Chenwei Shi (University of Amsterdam), JRC ph.d student May–Jun: Johan van Benthem (UvA, Stanford), Changjiang Professor May–Oct: Jeremy Seligman (University of Auckland), Weilun Professor Jul: Sonja Smets (University of Amsterdam), KNAW Joint Project Jul: Alexandru Baltag (University of Amsterdam), KNAW Joint Project Jul: Chenwei Shi (The University of Amsterdam), KNAW Joint Project Aug: Olivier Roy (University of Bayreuth), Joint Research Aug: Huimin Dong (University of Bayreuth), Joint Research Aug: Albert Anglberger (University of Bayreuth), Joint Research Aug: Dominik Klein (University of Bayreuth and Bamberg), Joint Research Oct: Johan van Benthem (University of Amsterdam), Changjiang Professor Sep-Oct: Martin Stokhof (University of Amsterdam), Weilun Professor Nov-Dec: Marvin Gattinger (University of Amsterdam), JRC ph.d student

ILLC UvA Jan: Fenrong Liu (Tsinghua University), Amsterdam China Logic Chair Mar: Fenrong Liu (Tsinghua University), Amsterdam China Logic Chair Sep 2016–Sep 2017: Fengkui Ju (Beijing Normal University), visiting scholar Sep 2016–Jul 2018: Xiaoxuan Fu (Tsinghua University), visiting ph.d student Sep 2016–Jul 2019: Kaibo Xie (Tsinghua University), CSC-funded ph.d student

EDUCATION Graduate program. The JRC now has a graduate program with four official Ph.D. students enrolled, co-supervised at both sites, plus a few more affiliate students:

• Chenwei Shi (logic and epistemology) • Malvin Gattinger (computational aspects of dynamic-epistemic logic) • Xiaoxuan Fu (temporal logic) • Chong Wang (language and philosophy) • Yibin Dai (language and philosophy) • Kun Xing (computational linguistics) • Yu Chen (intelligent agency)

Seminars. The JRC organized several short-term advanced tutorials at Tsinghua. Apr: Public announcement and question-answer games (Hans van Ditmarsch, Nancy) Jun: Three lectures in model theory (Jouko Vaananen, ILLC and Helsinki) Oct: Connecting proof theory and semantics (Johan van Benthem, ILLC and Stanford)

The JRC continued its activities as an official hub in the international on-line education project Logic in Action, see the updated website http://www.logicinaction.org/ 5

SCIENTIFIC EVENTS

Workshops Feb 25-26: Workshop on Logic, Language and Translation Jul 2: The History of Logical Thought in China: Glossaries and Translation Aug 8-12: Workshop Tsinghua Meets Bayreuth Oct 29: Logical Methods in Philosophy and Linguistics: Scope and Limits

Special event: Tsinghua-Bayreuth Logic Workshop, Aug 8-12, 2016 The organizers Fenrong Liu and Olivier Roy chose a structure maximizing interaction, with intensive work sessions, resulting in 3 new collaborative projects.

PUBLICATIONS

The following publications by members and associates demonstrate the JRC’s activities.

Books

1. Lu Wang. Language and the World (语言与世界), Peking University Press, 2016

2. Lu Wang. Concept of Logic (逻辑的观念), 2nd edition, Commercial Press: Beijing, 2016

Articles 1. Andreea Achimescu, Alexandru Baltag and Joshua Sack. The Probabilistic Logic of Communication and Change. Journal of Logic and Computation. On-line version DOI: 10.1093/logcom/exv084, 2016 2. Alexandru Baltag, Larry Moss & Slawomir Solecki. The logic of public announce- ments, common knowledge, and private suspicions. In Readings in Formal Epistemo- logy. Springer Graduate Texts in Philosophy (Republished paper). Springer, 2016 3. Alexandru Baltag & Sonja Smets. A Qualitative Theory of Dynamic Interactive Belief Revision. In Readings in Formal Epistemology, Springer Graduate Texts in Philosophy (republished paper). Springer, 2016 4. Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün & Sonja Smets. Justified Belief and the Topology of Evidence. In WoLLIC 2016: Logic, Language, Information, and Computation. Springer. DOI: 10.1007/978-3-662-52921-8_6, 2016 5. Alexandru Baltag, Zoe Christoff, Rasmus Rendsvig & Sonja Smets. Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. In Pre-Proceedings LOFT. University of Maastricht, 2016 6. Alexandru Baltag, Nina Gierasimczuk & Sonja Smets. Truth-Tracking by Belief Revision. Studia Logica, 2016 6

7. Alexandru Baltag, Nina Gierasimczuk & Sonja Smets. On the Solvability of Inductive Problems: A Study in Epistemic Topology. In R. Ramanumam (Ed.), Electronic Proceedings in Theoretical Computer Science. EPTCS, 2016 8. Giovanni Ciná & Alexandru Baltag. Bisimulation for Conditional Modalities. ILLC, Studia Logica, to appear 9. Sonja Smets, Alexandru Baltag, Nick Bezhanishvili, & Aybüke Özgün. The Topology of Full and Weak Belief. Lecture Notes in Computer Science, 2016 10. Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün & Sonja Smets. Justified Belief and the Topology of Evidence. WoLLIC Proceedings 2016: 83-103 11. Johan van Benthem, Nick Bezhanishvili & Weslley Holliday. A Bimodal Perspective on Possibility Semantics, Journal of Logic and Computation, on-line version DOI 10.1093/logcom/exw024, 2016 12. Johan van Benthem. Tracking Information, in K. Bimbó, ed., Michael Dunn on Information-Based Logics, Springer, Dordrecht, 363–389, 2016 13. Johan van Benthem. Modal Logic, Internet Encyclopedia of Philosophy, 2016 14. Johan van Benthem. Interview, in Tr. Lupher & Th. Adajian, eds., Five Questions on the Philosophy of Logic, Automated Press, Copenhagen, 2016 15. Johan van Benthem. Logic and Epistemology, interview with Chinese colleagues, Philosophical Analysis 7:6, Shanghai Academy of Social Sciences, 140–154, 2016 16. Johan van Benthem Jan van Eijck, Malvin Gattinger & Kaile Su. Symbolic Model Checking for Dynamic Epistemic Logic – S5 and Beyond. Journal of Logic and Computation, accepted on 11th July 2016 17. Shaowei Cai, Chuan Luo, Jinkun Lin & Kaile Su. New local search methods for partial MaxSAT. Artif. Intell. 240: 1-18, 2016 18. Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo & Aixiang Chen. A first-order coalition logic for BDI-agents. Frontiers of Computer Science 10(2): 233-245, 2016 19. Jan van Eijck, Malvin Gattinger & Yanjing Wang. Knowing Values and Public Inspection, arXiv:1609.03338, 2016 20. Malvin Gattinger. SMCDEL – An Implementation of Symbolic Model Checking for Dynamic Epistemic Logic with Binary Decision Diagrams. Technical Report, Last update: May 2016. https://github.com/jrclogic/SMCDEL/blob/master/SMCDEL.pdf 21. Malvin Gattinger. A Model Checker for the Hardest Logic Puzzle Ever Ever. In: Proceedings of PhDs in Logic VIII, Darmstadt. May 2016 22. Xiaowei Huang, Qingliang Chen, Jie Meng & Kaile Su. Reconfigurability in Reactive Multiagent Systems. IJCAI 2016: 315-321 23. Xiaowei Huang, Ji Ruan, Qingliang Chen & Kaile Su. Normative Multiagent Systems: The Dynamic Generalization. IJCAI 2016: 1123-1129 24. Xiaowei Huang, Qingliang Chen & Kaile Su. Strengthening Agents Strategic Ability with Communication. AAAI 2016: 2509-2515 25. Fengkui Ju & Jan van Eijck. To Do Something Else, in O. Roy, A. Tamminga and M. Willer, editors, Proceedings of the 13th International Conference of Deontic Logic and Normative Systems, College Publications, 2016, pp. 109-122. 26. Chanjuan Liu, Fenrong Liu, Kaile Su & Enqiang Zhu. A Logical Characterization of Extensive Games with Short Sight. Theor. Comput. Sci. 612: 63-82, 2016 7

27. Fenrong Liu eds. Special Section on Studies of Jin Yuelin’s Ideas (金岳霖思想研究), Journal of Tsinghua University (Philosophy and Social Sciences) Vol. 31, No.1, 2016. 28. Fenrong Liu. A Logical Study of Social Network Structure and Dynamics of Agent’s Knowledge, Philosophical Research, No.1, pp. 121-126, 2016 [In Chinese] 29. Fenrong Liu & Emiliano Lorini. Reasons to Believe in a Social Environment, in Proceedings of the 13th International Conference on Deontic Logic and Normative Systems (DEON 2016), College Publications: London, 2016 30. Fenrong Liu. Frontier of Modern Logic, Guangming Daily, April 13, 2016 31. Anthia Solaki, Zoi Terzopoulou & Bonan Zhao. Logic of Closeness Revision in Social Networks, ESSLLI 2016, Bolzano-Bozen, Italy 32. Martin Stokhof & Michiel van Lambalgen. What Cost Naturalism? in: K. Balogh & W. Petersen (eds), Bridging Formal and Conceptual Semantics. Selected papers of BRIDGE-14, /Düsseldorf University Press, Düssseldorf, 2016, pp. 89-117 33. Lu Wang. Epistemic Expressions and the Gettier Problem, Foreign Languages Research, No.4, 2016 34. Lu Wang. On the Ambiguity of “Being”, Journal of Yunnan University, No.3, 2016 35. Lu Wang. On “eimi”and “being”, Zhexuemen, Vol.32, 2016 36. Lu Wang. Inheritance and Development ——Celebrating Mr. Feng Qi’s 100th Birthday, Journal of East China Normal University, No.3, 2016 37. Lu Wang. On Philosophy of “Adding Words”, Journal of Tsinghua University, No.1, 2016 38. Lu Wang. Metaphysics is not Out of Date, Social Sciences Weekly, April 14, 2016 39. Lu Wang. Towards a Scientific Concept of Logic, Social Sciences Weekly, August 18, 2016 40. Jincheng Zhai. On the Origin of Chinese Logical Thought in Modern China, Journal of Chinese Universities and Social Sciences, No.1, 2016. 41. Jincheng Zhai. Several issues on Education in Modern China, Journal of North Institute of Water Conservancy and Hydroelectric Power, No.1, 2016. 42. Jincheng Zhai. On Liu Shipei’s Logical Thought, Presented at Cross-Strait Conference on the History of Logic in China, September 2016.

DISSEMINATION PROJECTS

Logic in Asia The JRC hosts a new Springer book series “Logic in Asia: Studia Logica Library”, a research platform for researchers in Asia and worldwide. Editors-in-chief: Fenrong Liu and Hiroakira Ono. Publications in 2016:

• Syraya Chin-Mu Yang, Duen-Min Deng and Hanti Lin, Eds. Structural Analysis of Non-Classical Logics, The Proceedings of the Second Taiwan Philosophical Logic Colloquium. Logic in Asia Series: Studia Logica Library, Springer.

Short textbooks A new Springer series “Short Textbooks in Logic” has started. Editors -in-chief: Fenrong Liu, Hiroakira Ono and Jeremy Seligman. Aim: to present readers worldwide with clear and concise textbooks, 120 pages average. Topics ranges from mathematical and philosophical logic to logical methods applied to computer science.

Translations We are also active in making works in English available to Chinese readers. Some past and current translation projects include:

• Door to Logic http://tsinghualogic.net/related-events/workshop-on-door-to-logic-finale/ • Johan van Benthem, Modal Logic for Open Minds, CSLI Publications, 2010. Translator: Xinwen Liu (CASS, Beijing). • Johan van Benthem, Logic in Games, The MIT Press, 2014. Translators: Jidong Li (Nankai University), Jianying Cui (Sun Yat-sen University), to be published with the Chinese Social Sciences Press.