{"id":"arxiv/2609.00736","url":"https://arxiv.org/abs/2609.00736","tags":["math.LO","cs.LO"],"score":0,"title":"Modalities in non-classical variations of $\\mathsf{S4}$","domain":"math.LO","source":"arxiv","authors":["Leonardo Pacheco"],"reviews":0,"subject":"math.LO","summary":"A classical result in modal logic states that $\\mathsf{S4}$ has $14$ modalities, that is, every sequence of negations, boxes, and diamonds is equivalent to one in a set of $14$ such sequences. We study analogous results for the non-classical analogues $\\mathsf{CS4}$, $\\mathsf{IS4}$, $\\mathsf{GS4}$, and $\\mathsf{GS4^c}$ of $\\mathsf{S4}$. First, we show that, while all these logics have finitely many $\\{\\Box,\\Diamond\\}$- and $\\{\\neg,\\Box\\}$-modalities, the logic $\\mathsf{CS4}$ has infinitely many $\\{\\neg,\\Diamond\\}$-modalities. Second, we show that $\\mathsf{IS4}$ and $\\mathsf{GS4}$ have…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-01","reactions":{}}