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

Braüner, T. (Foredragsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Periode24 maj 2013
BegivenhedstitelModality and Modalities
BegivenhedstypeKonference
PlaceringRoskilde, Danmark