Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

Bra√ľner, T. (Speaker)

Activity: Lecture and oral contribution

Period8 May 2017 - 12 May 2017
Held atXVIII Brazilian Logic Conference (EBL 2017)
Event typeConference
Location