Invited talk: Hybrid Logic and its Proof-Theory

Activity: Talk or presentationLecture and oral contribution

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