Arthur Prior’s temporal logic and the origin of contemporary hybrid logic

Braüner, T. (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Description

Invited talk
Period8 Apr 2011 - 9 Apr 2011
Event typeWorkshop
LocationUtrecht, Netherlands