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

Braüner, T. (Lecturer)

Programming, Logic and Intelligent Systems

Activity: Talk or presentation › Lecture and oral contribution

Description

Workshop affiliated with The 5th Indian School on Logic and its Applications (ISLA 2014)

Period	6 Jan 2014 → 17 Jan 2014
Held at	Unknown external organisation, Denmark

Documents & Links

http://www.tezu.ernet.in/isla2014/