- This event has passed.
Cut Elimination in a Multi-type Display Calculus
March 10, 2014 @ 1:30 pm - April 1, 2014 @ 2:30 pm
(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.