tense logic

(redirected from Temporal logic)
Also found in: Encyclopedia, Wikipedia.

tense logic

n
(Logic) logic the study of the logical properties of tense operators, and of the logical relations between sentences having tense, by means of consideration of appropriate formal systems
References in periodicals archive ?
Turning unstructured social media data into structured events is key, as it allows the system to use (event) rules (event temporal logic, event logic patterns, even counting, absence of events) to infer insights or create alerts in real-time.
Work is also carried out for the application of temporal logic in the field of artificial intelligence and robotics [18].
However, while media theorists such as Bernhard Siegert and Cornelia Vismann are interested in the entanglement of practices and technologies, Wolfgang Ernst emphasizes the technological part and suggests that, in order to understand cultural techniques, one needs to comprehend their internal logic--Eigenlogik--including the inherent temporal logic (Eigenzeit) of media (Ernst, 2011, 2013).
The specification can be expressed using for example Linear Temporal Logic (LTL) as:
As Amittai Aviram likes to say, poetry "tells time," and uses a peculiar sort of temporal logic or "telling rhythm" to do so.
Therefore, it is temporal logic, not spatial, that has dominated China's culture.
The other 17 papers consider such topics as incremental dynamic controllability in cubic worst-case time, a framework for managing temporal dimensions in archaeological data, quantitative verification in rational environments, the verification of rewrite rules for computation tree logics, and the bonded variability of metric temporal logic.
In Rueda and Valencia (2002) some musical properties were formally proved using the linear temporal logic of NTCC.
Morrison deals with the law and sacrifice as a burnt offering, and in this we also see the temporal logic of Morrison's modernist apocalyptic.
He argues convincingly that the general form of thought, if it is to be thought of anything (of objects, of intuitions), is necessarily a temporal logic and that inferential logic, whether or not it can admit this to itself, necessarily presupposes a logic that is temporal.
Her work combines these areas, uniting temporal logic and tools from computer science with philosophical theories of causality to solve biomedical problems.
As the authors point out, there is reasonable agreement that we can model times, through temporal logic, in ways that are analogous to those by which we model modality through the logic of possible worlds.