Zhiqiang Sun

Andreas Herzig CNRS Research Director Logic, Interaction, Language, and Computation Group (LILaC) IRIT, Université Paul Sabatier, France Date: April 30, 2026 (Thursday) Time: 14:00–17:00 Venue: Zhixin Building, Room A115 Location: Shandong University, Central Campus Abstract Dynamic Logic of Propositional Assignments (DL-PA) is a variant of PDL whose atomic programs are assignments of propositional variables. In

Andreas Herzig CNRS Research Director Logic, Interaction, Language, and Computation Group (LILaC) IRIT, Université Paul Sabatier, France Date: April 29, 2026 (Wednesday) Time: 15:00–17:00 Venue: Zhixin Building, Room A1618 Location: Shandong University, Central Campus Abstract In multi-agent planning tasks, agents may have false beliefs about the world and about other agents that they may have

Yue Yang Department of Mathematics National University of Singapore Date: January 5, 2026 (Monday) Time: 15:00–17:00 Venue: Zhixin Building, Room A115 Location: Shandong University, Central Campus Abstract Gödel once attempted to establish the consistency of classical number theory by means of computable functionals of finite types. In his view, abstract concepts such as computable functionals

Thomas Ågotnes Professor, University of Bergen, Norway Adjunct Professor, Shanxi University, China Changjiang Scholar Chair Professor Date: January 8, 2026 (Thursday) Time: 15:00–17:00 Venue: Zhixin Building, Room A1618 Location: Shandong University, Central Campus Abstract I formalise the notion of an anonymous public announcement in the tradition of public announcement logic. Such announcements can be seen

Igal Kvart Professor Emeritus Department of Philosophy, Hebrew University of Jerusalem Date: November 3, 2025 (Monday) Time: 14:00–16:00 Venue: Zhixin Building, Room A116 Location: Shandong University, Central Campus Abstract Steering-Thrust-Posting Pragmatics (STPP) has four main components: steering thrust, pragmatic stances, conversational etiquette, and posting. (1) Steering thrust: The speaker, who generates the verbal act, steers