Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks

Activity: Talk or presentation › Lecture and oral contribution

Period24 May 2013
Event titleModality and Modalities
Event typeConference
LocationRoskilde, DenmarkShow on map