{"id":"arxiv/2610.08323","url":"https://arxiv.org/abs/2610.08323","tags":["cs.LO","math.LO"],"score":0,"title":"Essence and accident modalities meet Belnapian truth values","domain":"cs.LO","source":"arxiv","authors":["Yaroslav Petrukhin"],"reviews":0,"subject":"cs.LO","summary":"This paper investigates many-valued generalisations of the classical essence and accident modalities. In two-valued logic, a proposition is essentially true (resp. false) if, whenever it is true (resp. false), it is necessarily true (resp. false); it is accidentally true (resp. false) if it is true (resp. false) but not necessarily so. Many-valued logics provide a natural setting for introducing further modalities of this kind. We focus on Belnap-Dunn's First-Degree Entailment (FDE), a four-valued system that generalises the classical truth values. More precisely, we consider an extension of…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-06","reactions":{}}