Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments

Braüner, T. (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Description

Workshop affiliated with The 5th Indian School on Logic and its Applications (ISLA 2014)
Period6 Jan 2014 - 17 Jan 2014
Held atUnknown external organisation