March and April.
Situation theory and channel theory.
By Jeremy Seligman, Auckland University, New Zealand
Temporal logic and spatial logic.
By Johan van Benthem, University of Amsterdam and Stanford University
Intuitionistic logic and provability logic.
By Dick de Jongh, University of Amsterdam.
Preference logic and multi-agent system.
By Fenrong Liu