Skip to main navigation
Skip to search
Skip to main content
Roskilde University Research Portal Home
Dansk
English
Home
Profiles
Research Units
Research output
Projects
Activities
Press / Media
Datasets
Prizes
Search by expertise, name or affiliation
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
:
Talk or presentation
›
Lecture and oral contribution
Period
8 May 2017
→
12 May 2017
Event title
XVIII Brazilian Logic Conference (EBL 2017)
Event type
Conference
Related content
Projects
Hybrid-Logical Proofs at Work in Cognitive Psychology
Project
:
Research