Mikec, Luka (Date of defense: 2021-04-30)
In the central part of this thesis we study for different interpretability logics the following aspects: completeness for modal semantics, decidability and algorithmic complexity. In particular, we ...
Hermo Reyes, Eduardo (Date of defense: 2019-11-04)
This dissertation is devoted to developing modal logical tools that can be used in the field of proof theory and ordinal analysis. More precisely, we focus on the relation between strictly positive modal ...