{"id":"arxiv/2602.20287","url":"https://arxiv.org/abs/2602.20287","tags":["math.LO"],"score":0,"title":"Regular non-normal modal classicalities","domain":"math.LO","source":"arxiv","authors":["Alfredo Roque Freire","Manuel António Martins"],"reviews":0,"subject":"math.LO","summary":"We present a novel investigation into the consistency operator ($\\circ$), traditionally associated with paraconsistent logics, as a means of capturing non-normal modal classicalities within the Kripke framework. By semantically reinterpreting $\\circ$ as an operator that distinguishes top and bottom values from other values in the algebra, we extend its applicability beyond paraconsistency into classical and modal logics. We introduce the logic $\\mathcal{B}_4^\\circ$, a four-valued Boolean logic augmented with the consistency operator, and provide a sound and complete axiomatization. Building…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-23","reactions":{}}