{"id":"arxiv/2609.20311","url":"https://arxiv.org/abs/2609.20311","tags":["math.LO","cs.AI","math.ST"],"score":0,"title":"Human and AI-generated texts between modal logic and statistics","domain":"math.LO","source":"arxiv","authors":["Simone Cuconato","Donato Ferrari"],"reviews":0,"subject":"math.LO","summary":"We read the geometry of semantic neighbourhood graphs as modal logic and give that reading a statistical form, in order to make precise the structural difference between human and machine-generated text. Texts are the worlds of a finite frame whose accessibility is the $k$-nearest-neighbour relation of a transformer embedding, and the symmetry, transitivity, Euclideanity and seriality frequencies of the two subcorpora are shown to be degrees of validation of the modal axioms $\\mathsf{B}$, $\\mathsf{4}$, $\\mathsf{5}$, $\\mathsf{D}$. Each degree is at once the proportion of instances of a rule…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-31","reactions":{}}