Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Braüner, T. (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Period4 Dec 2008 - 6 Dec 2008
Event typeWorkshop
LocationDresden, Germany