{"id":"arxiv/2604.10669","url":"https://arxiv.org/abs/2604.10669","tags":["cs.LO","math.LO"],"score":0,"title":"A Linear Temporal Logic of Frequencies on Series of Events","domain":"cs.LO","source":"arxiv","authors":["Melissa Antonelli","Leonardo Ceragioli","Alessandro Giuseppe Buda","Giuseppe Primiero"],"reviews":0,"subject":"cs.LO","summary":"This paper introduces LTLF, a temporal logic designed to express the frequency properties of event series in a natural but rigorous manner. By introducing novel, measure-sensitive operators, LTLF allows for the evaluation of frequencies and the prediction of future occurrences, thus providing a formal framework to monitor and control quantitative systems, such as machine learning classifiers. The core novelty lies in the introduction of original modal quantifiers associated with a standard Kripke-style semantics. These quantifiers enable the explicit formalization of event series properties…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-12","reactions":{}}