R. Kuznets: "Modal Calculi from Semantics: a Case Study"; Talk: Workshop Translating and Discovering Calculi for Modal and Related Logics 2017, Wien; 2017-03-14 - 2017-03-16.