March and April.
Situation theory and channel theory.
By Jeremy Seligman, Auckland University, New Zealand
请点击这里下载阅读材料。
May.
Temporal logic and spatial logic.
By Johan van Benthem, University of Amsterdam and Stanford University
June.
Intuitionistic logic and provability logic.
By Dick de Jongh, University of Amsterdam.
June.
Preference logic and multi-agent system.
By Fenrong Liu
