Tsinghua Logic Events
Tsinghua University is hosting a continuing series of logic research activities, covering a broad range of themes from pure logic to outreach in philosophy, linguistics, cognitive science and artificial intelligence.
In this series, we invite overseas researchers to give lectures on research topics that currently draw international
attention, and that may stimulate local students and researchers to find their own topics to work on.
Thus, those events provide the logic community at Tsinghua and neighboring universities in Beijing
with access to a broad spectrum of recent results and new trends, while also promoting the
incipient cooperation between Chinese and foreign researchers.
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
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 (讲习班), Workshops (学术会议)
Logic, Language and Philosophy: Tutorials + Workshop, Tsinghua University, Beijing, China. June 13-18, 2011.
Mini-Workshop on Modal Logic, Language and Logical Dynamics, Tsinghua University, Beijing, China. June 12, 2011.
Modal Logics of Space,
Nov 17, by Marco Aiello, University
of Groningen, The Netherlands.
Conditional Ought, a Game Theoretical Perspective
Nov 11, by Xin Sun, Tsinghua University,
Logics for Legal Argumentation,
Nov 5, by Minghui Xiong, Sun Yat-sen University, China.
Towards Prioritized Update Semantics for Imperatives,
Nov 4, by Fengkui Ju, Beijing Normal University, China.
Scientia Potentia Est,
Oct 21, by Thomas Agotnes, University of Bergen, Norway.
Logic in the Communities,
Sep 23, by Patrick Girard, Auckland University, New Zealand.
A Logic for Knowledge Flow in Social Networks ,
Sep 23, by Ji Ruan, University of New South Wales, Australia.
Private Belief Revision,
Sep 16, by Patrick Girard, Auckland University, New Zealand.
Coherent Welfarism from Inconsistent
April 1, by Till Grune-Yanoff, University of Helsinki, Finland.
The many faces of Proof Theory, October 25-29, 2010. By Hiroakira Ono and Norbert Preining, Japan Advanced Institute of Science and Technology.
Please find the arrangement of the course in the attached file: Time and Place
Course materials: File 1: The many faces of Proof Theory,
File 2: Proof-Theoretic Methods in Nonclassical Logic: An Introduction.
Provability Logic and Intuitionistic Logic, June, 2010. By Dick de Jongh, ILLC, University of Amsterdam. Please download the reading materials from here: file 1, file 2.
Temporal Logic and Spatial Logic, May, 2010. By Johan van Benthem, University of Amsterdam and Stanford University.
Situation Theory and Channel Theory, March and April, 2010. By Jeremy Seligman, Department of Philosophy, Auckland University, New Zealand.
Workshop Door to Logic, Beijing, China. May
Workshop on Logic and
Philosophy of Language, Beijing, China. May 7, 2010.
Knowledge Representation and Logical Reasoning,
November 3, by Zhisheng Huang, Amsterdam Free University, The
Cognitive Realism in Belief Revision: Representing a
Finite Mind, August 23, by Sven Ove
Hansson, Department of Philosophy and the History of Technology,
Royal Institute of Technology, Sweden.
Comparing Strengths of Beliefs Explicitly, June
19, by Dick de Jongh, ILLC, University of Amsterdam, The
Continuous Logic and Probability, June 19, by
Shichang Song, Department of Mathematics, University of Illinois
Abstractions and Idealisations: The Construction of
Modern Linguistics, May 6, by Martin Stokhof, ILLC, University of
Reasoning about Social Preferences, April 30, by
Patrick Girard, Department of Philosophy,
- 反推数学简介, December 30, by Yue Yang, Department of Mathematics, National University of Singapore.
- China Met Europe in the History, October 22 and 27, by Karel van der Leeuw, Department of Philosophy, University of Amsterdam, the Netherlands.
- Logical Dynamics of Social Communication, October 15, by Tomoyuki Yamada, Hokkaido University, Japan.
- Making the right
exceptions, May 20, by Frank
Veltman, ILLC, University of Amsterdam, The