The latest program could be downloaded here.
- 9:00-22:00 Registration at Zijing Yuan Hotel Lobby
- 8.45 - 9.00 Opening, Photo available here.
- 9:00-9:15 Photo Taking
- 9.15-10.15 Invited Speaker: Dov Samet. Interim agreements: Zeno, Parkinson, and Nash
- 10.45 - 12.15 Games
- Olivier Roy and Eric Pacuit. A Dynamic Analysis of Interactive Rationality
- Pavel Naumov and Brittany Nicholls. Game Semantics for the Geiger-Paz-Pearl Axioms of Independence
- Davide Grossi. An Application of Model Checking Games to Abstract Argumentation
- 14.00-16.00: Substructural Logics
- Ka Fat Chow. A Semantic Model for Vague Quantifiers combining Fuzzy Theory and Supervaluation Theory
- Satoru Suzuki. Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate Logic
- Mamoru Kaneko and Nobu-Yuki Suzuki. A Measure of Inference in Classical and Intuitionistic Logics
- Chongli Zou, Kesheng Li and Lu Zhang. The Categorial Logic of Vacuous Components in Natural Language
- 16.30-17.30 Invited Speaker: Yongmei Liu. Some Positive Results on Progression in the Situation Calculus
- Night Boat Cruise on Pearl River
- 9.00-10.00 Invited Speaker: Arkadii Slinko. Manipulating Elections in the Age of Twitter
- 10.20 - 12.20 Obligation, Preference, and Argumentation
- Sun Xin. Conditional Ought VS Ought About Conditionals
- Fengkui Ju and Fenrong Liu. Update Semantics for Imperatives with Priorities
- Emiliano Lorini. A dynamic logic of knowledge, graded beliefs and graded goals and its application to emotion modelling
- Beishui Liao and Huaxin Huang. Partial Semantics of Argumentation
- 14.00-16.00: DEL, Public Announcements
- Minghui Ma. Mathematics of Public Announcements
- Yì N. Wáng and Thomas Ågotnes. Public Announcement Logic with Distributed Knowledge
- Yanjing Wang. On Axiomatizations of Public Announcement Logic
- Wesley Holliday, Tomohiro Hoshi and Thomas Icard. Schematic Validity in Dynamic Epistemic Logic: Decidability
- 16.30-17.30 Invited Speaker: Johan van Benthem. Logical Dynamics of Evidence
- 9.00-10.50 10 min presentation per poster (order)
- 11.00-11:30 Alistair Isaac and Tomohiro Hoshi.
Taking Mistakes Seriously: Equivalence Notions for Game Scenarios with Off Equilibrium Play
- 11.30 - 13.30 coffe break + posters
- 9.00-10.00 Invited Speaker: Kaile Su. Epistemic logics: a Computationally Grounded Perspective
- 10.20 - 12.50: Logics of Belief and Knowledge
- Minghui Ma and Meiyun Guo. Logics of Belief over Weighted Structures
- François Schwarzentruber. Seeing, knowledge and common knowledge
- Christian W. Bach and Jérémie Cabessa. Agreeing to Disagree with Limit Knowledge
- Levan Uridia and Dirk Walther. An Epistemic Logic with Hypotheses
- Floris Roelofsen. Algebraic foundations for inquisitive semantics
- 14.15-16.15: DEL
- Jonas De Vuyst. Minimal Revision and Classical Kripke Models: First Results
- Xuefeng Wen, Hu Liu and Fan Huang. An Alternative Logic for Knowability
- Wiebe Van Der Hoek, Petar Iliev and Michael Wooldridge. Knowledge and Action in Semi-Public Environments
- Benedikt Löwe, Eric Pacuit and Andreas Witzel. DEL planning and some tractable cases
- 16.35-17.35 Invited Speaker: R.Ramanujam. The interplay of individual and social rules in large games
- 17:35-17:50 Closing
|
