UNIVERSITÀ DEGLI STUDI DI PADOVA
DIPARTIMENTO DI FILOSOFIA, SOCIOLOGIA, PEDAGOGIA E PSICOLOGIA APPLICATA
SCUOLA DI DOTTORATO IN FILOSOFIA
PROGETTO INTERAREA DI ATENEO “LOGICHE TEMPO-MODALI PER GLI AGENTI DEONTICI. UNA TEORIA ED ALCUNE RIFLESSIONI FILOSOFICHE”
PROGETTO DI RICERCA DIPARTIMENTO DI MATEMATICA “LOGICA E FONDAMENTI DELLA MATEMATICA”
WORKSHOP
TEMPORAL LOGIC AND PHILOSOPHY OF TIME
Open Issues
Monday 7th October
Sala Giacon, P.za Capitaniato 3, Padova
9:30 - 11:00
Thomas Müller (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
Monday 7th October
Sala Giacon, P.za Capitaniato 3, Padova
9:30 - 11:00
Thomas Müller (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
pierdaniele.giaretta@unipd.it
azanardo@math.unipd.it
