IPM Calendar 
Tuesday 26 January 2021   Today  
Events for day: Thursday 21 February 2019    
           10:00 - 11:00     Weekly Seminar
Choice under uncertainty


ClassA, Grand Floor, Farmanieh Building ...

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