Invited talk: Hybrid Logic and its Proof-Theory

Braüner, T. (Oplægsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Periode2 mar. 2018
BegivenhedstitelDansk filosofisk selskabs årsmøde 2018: null
BegivenhedstypeKonference
PlaceringRoskilde, Danmark
Grad af anerkendelseNational