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

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Periode24 maj 2013
BegivenhedstitelModality and Modalities
BegivenhedstypeKonference
PlaceringRoskilde, DanmarkVis på kort