WORKSHOP - TEMPORAL LOGIC AND PHILOSOPHY OF TIME

Sala Giacon, P.za Capitaniato 3, Padova

07.10.2013

WORKSHOP
TEMPORAL LOGIC AND PHILOSOPHY OF TIME
Open Issues

Monday 7th October
Sala Giacon, P.za Capitaniato 3, Padova

9:30 - 11:00
Thomas Mueller (University of Konstanz)
An Overview of Case-Intensional First Order Logic

11:15 - 12:30
Antje Rumberg (University of Konstanz)
Transition Semantics for Branching Time

15:00 - 16:15
Stephan Vincent Torre (University of Aberdeen)
The Ontological Status of Future Possibilities

16:30 - 17:45
Claudio Calosi (University of Urbino)
Persistence and Change in Space-Time

For further information, please contact:
pierdaniele.giaretta@unipd.it
azanardo@math.unipd.it