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

Braüner, T. (Lecturer)

Activity: Talk or presentation › Lecture and oral contribution

Description

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