A Linear Temporal Logic of Frequencies on Series of Events

Melissa Antonelli, Leonardo Ceragioli, Alessandro Giuseppe Buda, Giuseppe Primiero

arXivarxiv/2604.10669Apr 12, 2026cs.LOscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2604.10669
curl -X POST /api/v1/records/arxiv/2604.10669/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.10669/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'