Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks

Braüner, T. (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Period24 May 2013
Event typeConference
LocationRoskilde, Denmark