2012

Seminars

• Group Announcement Logic, November 6, by Thomas Agotnes, University of Bergen, Norway.
• Modeling Evidence Dynamics, October 26, by Johan van Benthem, University of Amsterdam and Stanford University.
• Methodological Separatism, Modal Pluralism and Metaphysical Nihilism, October 25, by Tom Stoneham, University of York, UK.
• Reflection on Ming Xue, October 19, by Jer-shiarn Lee, Graduate School of Chinese Studies, National Yunlin University of Science and Technology, Taiwan.
• Verifying time, memory and communication bounds in systems of reasoning agents, September 28, by Natasha Alechina, University of Nottingham, UK.
• On Self-referentiality of the Provability Semantics of Intuitionistic Propositional Calculus and Modal Propositional Calculus S4, August 21, by YU Junhua, Ph.D Candidate, City University of New York.
• Truth in Mohist Dialectics , August 3, by Chris Fraser, University of Hong Kong.
• Duality and Logic, March 19, by Alessandra Palmigiano, University of Amsterdam, The Netherlands.
• Minimal Revision and Classical Kripke Models–First Results and Tableau System, March 9, by Jonas De Vuyst, Vrije Universiteit Brussel, Belgium.

Tutorials

• Logic in the Community, November, December, 2012, Tsinghua University.
  By Jeremy Seligman, Auckland University, New Zealand.
  Session 1: Logic in the community
  Session 2: Belief influence
  Session 3: General dynamic dynamic logic
  Session 4: The epistemic logic of friendship
• Games, Computation and Complexity, May 22-23, 2012, Tsinghua University.
  By Peter van Emde Boas, ILLC-FNWI- University of Amsterdam and Bronstee.com Software and Services BV, Heemstede,the Netherlands.
  Session 1: Problems about games and mathematical solutions
  Session 2: PSPACE and its relation to games
  Session 3: Interactive protocols
  Session 4: The evasiveness problem for graph properties
• Logic in Games, May 3-4, 2012, Tsinghua University.
  By Johan van Benthem, Amsterdam University and Stanford University.
  Session 1: Logic in games, an overview of connections
  Session 2: Modal logics of game structure (action and preference)
  Session 3: Dynamic logic of games and strategic powers
  Session 4: Dynamic epistemic logic and theory of play