IPM Calendar 
Saturday 17 August 2019   Today  
Events for day: Thursday 21 February 2019    
           14:00 - 16:00     Mathtematical Logic Weekly Seminar
Provability Logics of Hierarchies


Provability logic investigates the provability behavior of the mathematical theories. In a more precise way, it studies the relationship between a mathematical theory $T$ and a modal logic $L$ via the provability interpretation which interprets the modality as the provability predicate of $T$. In this talk we will extend this relationship to investigate the provability behavior of a hierarchy of theories. More precisely, using the modal language with infinite many modalities, ${Box_n}_{n=0}^{infty}$, we will define the hierarchical counterparts of some of the classical modal theories such as $mathbf{K4}$, $mathbf{KD4}$, $mathbf{GL}$ and $math ...