Modalities in non-classical variations of $S4$

Leonardo Pacheco

A classical result in modal logic states that $S4$ has $14$ modalities, that is, every sequence of negations, boxes, and diamonds is equivalent to one in a set of $14$ suc…