Speaker
Vlasta Sikimić
(University of Belgrade - Faculty of Philosophy)

Abstract
(joint work with Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano)
Display calculi enjoy a modular Belnap’s cut elimination procedure that is verified by checking a minimal set of conditions. When a multi-type environment is introduced these conditions change. In the talk, the multi-type display calculus for Baltag-Moss-Solecki’s logic of epistemic actions and knowledge will be presented, with the goal of discussing the changes in the conditions that guarantee cut elimination in this new setting.