Invited talk: Hybrid Logic and its Proof-Theory

Braüner, T. (Speaker)

Activity: Talk or presentationLecture and oral contribution

Period2 Mar 2018
Event titleDansk filosofisk selskabs årsmøde 2018: null
Event typeConference
LocationRoskilde, Denmark
Degree of RecognitionNational