Skip to main content
Dansk
English
Home
Profiles
Research Units
Research Output
Projects
Activities
Press / Media
Prizes
Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests
Braüner, T.
(Speaker)
Programming, Logic and Intelligent Systems
Department of People and Technology
Activity
:
Lecture and oral contribution
Period
8 May 2017
-
12 May 2017
Held at
XVIII Brazilian Logic Conference (EBL 2017)
Event type
Conference
Location
Related content
Projects
Hybrid-Logical Proofs at Work in Cognitive Psychology
Project
:
Research