Logic List Mailing Archive

Conference "The Logic of Time and Modality", Roskilde, Oct/Nov 2003

The Logic of Time and Modality

http://www.philog.ruc.dk/phiconf3.html

Roskilde University, Friday, October 31 - Saturday, November 1, 2003

Arthur Norman Prior (1914-69) was the founding father of the modern logic
of time and modality. In the 1950s and 1960s he laid out the foundation of
temporal logic and showed that this discipline was intimately connected
with modal logic. Since then, temporal and modal logic has grown into a
mature discipline with many important applications in philosophy, computer
science, and also linguistics.
                                   
The conference is directed at researchers as well as graduate and PhD
students in the fields of philosophical, computational, and mathematical
logic.
                                   
Invited Speakers
                                   
Patrick Blackburn
INRIA Lorraine, France 
Introduction to Modern Hybrid Logic
Arthur Prior and Hybric Logic

Jack Copeland
Philosophy Department, University of Canterbury, New Zealand
Free Will and Modality

Kit Fine
Department of Philosophy, New York University, USA
Postulational Necessity

                                   
Antony Galton
Department of Computer science, University of Exeter, England
Operators versus Arguments: the Ins and Outs of Reification

Peter Simons 
School of Philosophy, University of Leeds, England
Places, Times, and Worlds: The Logic of Location
                                   
Heinrich Wansing
Institute of Philosophy, Dresden University of Technology, Germany
Some Aspects of Constructive Tense Logic

Alberto Zanardo
Department of Pure and Applied Mathematics, University of Padova, Italy
Structures and Languages for Branching Time