October 10-13,2011,Guangzhou(Canton),P.R.China

line decor
line decor

The latest program could be downloaded here.new

Sunday, October 09, Morning-Evening

  • 9:00-22:00 Registration at Zijing Yuan Hotel Lobby

Monday, October 10, Morning

  • 8.45 - 9.00 Opening, Photo available here.opening
  • 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
Monday, October 10, Afternoon
  • 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
Monday, October 10, Evening
  • Night Boat Cruise on Pearl River
Tuesday, October 11, Morning
  • 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
Tuesday, October 11, Afternoon
  • 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
Wednesday, October 12, Morning
  • 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
Wednesday, October 12, Afternoon
Thursday, October 13, Morning
  • 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
Thursday, October 13, Afternoon
  • 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
Thursday, October 13, Evening
  • 18:30-20:00 Banquet



  • Title+Abstract: June 1, 2011
  • Submission: June 8,2011
  • Notification: June 25, 2011
  • CameraReady: July 15, 2011
  • Conference: October 10-13,2011



    Last Updated by Yuping SHEN, Oct. 08,2011