2 problems

Let ${\sf ILW}^*$ and ${\sf ILP}_0$ be the logics described in the paper, and let ${\sf ILP}_0{\sf W}^*$ denote their union. Write $\mathfrak{Il}({\sf all})$ for the logic valid in…

Let ${\sf ILW}$ be the interpretability logic obtained by extending interpretability logic ${\sf IL}$ with the principle ${\sf W}$, … Here $\mathfrak{Il}({\sf all})$ denotes the lo…