{"id":"arxiv/2610.29209","url":"https://arxiv.org/abs/2610.29209","tags":["math.PR"],"score":0,"title":"Temporal-Logical Stochastic Processes","domain":"math.PR","source":"arxiv","authors":["Venkatraman Renganathan"],"reviews":0,"subject":"math.PR","summary":"We develop a measure-theoretic framework for Temporal-Logical Stochastic Processes (TLSP), in which temporal-logic specifications induce time-indexed stochastic observables capturing the robustness of temporal satisfaction. Building upon existing probabilistic interpretations of temporal-logic robustness, we systematically investigate the stochastic-process structure of these observables. We establish their measurability, shifted-filtration adaptedness, and sample-path regularity under suitable assumptions, and characterize the action of temporal operators on stochastic processes. We derive…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-21","reactions":{}}