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 ?
Motivated especially by applications to software model checking (more specifically the termination of linear loops and predicate abstraction computations), as well as parametric real-time reasoning and the verification of Markov chains, we will focus on model-checking, module-checking, and synthesis problems for linear dynamical systems and one-counter automata against various fragments and extensions of Linear Temporal Logic (LTL) specifications.
As Amittai Aviram likes to say, poetry "tells time," and uses a peculiar sort of temporal logic or "telling rhythm" to do so.
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.
This essay attends to the temporal aspects of Slammerkin in order to examine how the novel offers a subtle queering of both temporal normativity and the sequential temporal logic that heteronormative culture is contingent upon.
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.
Suddenly, the film cuts to a medium close-up of Kin ski's face as she confronts an unseen assailant; this point of view endeavors to make the viewer complicit with (or an extension of) the tormentor (and, in turn, the artist), and foreshadows a proliferation of intercepting that shreds temporal logic and at once splinters and compresses an already claustrophobic space of representation (the bedroom or hotel unit).
Promela model has no assertions or temporal logic LTL formula.
Several of the papers propose extensions to metric interval temporal logic, linear temporal logic, and computation tree logic.
Including temporal logic in our applications has been a continuous challenge.