We define bisimulations for temporal logic with Since and Until. We compare our notion to existing notions of bisimulations, and we use it to develop the basic model theory of temporal logic with Since and Until, which includes preservation and definability' results. We conclude with a brief discussion of the wider applicabilitl' of our ideas.

In the typical framework for boolean games (BG) each player can change the truth value of some propositional atoms, while attempting to make her goal true. In standard BG goals are propositional formulas, whereas in iterated BG goals are formulas of Linear Temporal Logic. Both notions of BG are characterised by the fact that agents have exclusive control over their set of atoms, meaning that no...

In their influential paper [MTV95], Mannila et al. formulated the problem of discovering frequently occurring temporal patterns in sequences, where temporal patterns are specified using the notion of an episode [MTV95]. It has been recognized by Padmanabhan and Tuzhilin [PT96] that temporal patterns can be specified using temporal logic and that this method generalizes the episodes approach pro...

DEFINITION The term “temporal logic” is used, in the area of formal logic, to describe systems for representing and reasoning about propositions and predicates whose truth depends on time. These systems are developed around a set of temporal connectives, such as sometime in the future or until, that provide implicit references to time instants. First-order temporal logic is a variant of tempora...

1 This work was supported in part by the NSF under grant IRI-93-18773. Abstract The work of Mannila et al. [4] of finding frequent episodes in sequences is extended to finding temporal logic patterns in temporal databases. It is argued that temporal logic provides an appropriate formalism for expressing temporal patterns defined over categorical data. It is also proposed to use Temporal Logic P...

In this paper we numerically investigate the effect of relative phase on thestability of temporal bright solitons in a Nano PT- Symmetric nonlinear directionalcoupler (NLDC) by considering gain in bar and loss in cross. We also study the effect ofrelative phase on the output perturbed bright solitons energies, in the range of   0 to 180 . By using perturbation theory three eigenfunctions an...