R. Ramanayake: "Introduction to the display calculus"; Talk: Ninth International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia; 2013-09-30 - 2013-10-04.