2 citations · 2 across the 1 of their papers we have counts for
1 paper
Stepan Igorevich Bashmakov
L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic S4 has exactly 5 pretabular extensions: PM1-PM5. In this paper, we study and systematize the problem of unificat…