{"id":"arxiv/2607.01110","url":"https://arxiv.org/abs/2607.01110","tags":["cs.LO","math.LO"],"score":0,"title":"Definability of Functional Properties in the Basic Modal-Temporal Language over Ordered Frames","domain":"cs.LO","source":"arxiv","authors":["Alfredo Burrieza"],"reviews":0,"subject":"cs.LO","summary":"We study the expressive power of the simplest modal-temporal language, obtained by adding Prior's temporal operators \\(G\\) and \\(H\\) to the basic modal language with \\(\\Box\\). This language is the standard bimodal combination of modal and tense logic; under its functional interpretation it is denoted \\(L_{T\\times W}\\). To analyse its definability across five order types, we consider two semantic readings of the temporal operators: the standard reading (\\(G,H\\)), which includes the current instant, and the strict reading (\\(G^{\\ast},H^{\\ast}\\)), which always excludes it. We examine nine…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-01","reactions":{}}