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

Braüner, T. (Speaker)

Activity: Talk or presentationLecture and oral contribution

Period8 May 201712 May 2017
Event titleXVIII Brazilian Logic Conference (EBL 2017): null
Event typeConference