Loading Events

« All Events

  • This event has passed.

Cut Elimination in a Multi-type Display Calculus

March 10, 2014 @ 1:30 pm - April 1, 2014 @ 2:30 pm

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

(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.



March 10, 2014 1:30 pm
April 1, 2014 2:30 pm


room A1.370, building 31
Jaffalaan 5, Delft, 2628 BX628 BX Netherlands
+ Google Map