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

Braüner, T. (Speaker)

Activity: Talk or presentation › Lecture and oral contribution

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

Related content

Projects

Hybrid-Logical Proofs at Work in Cognitive Psychology

Project: Research