A major result concerning temporal logics is Kamp’s Theorem which states that the pair of modalities ‘‘until’’ and ‘‘since’’ is expressively complete for the first-order fragment of the monadic logic over the linear-time canonical model of naturals. The paper concerns the expressive power of temporal logics over trees. The main result states that in contrast to Kamp’s Theorem, for every n there...

Temporal logics have gained prominence in computer science as a property specification language for reactive systems. There is even an IEEE standard temporal logic supported by a consortium of Electronic Design Tool developers. Such systems maintain ongoing interaction between the environment and the system and their specification requires formulating constraints on the sequence of steps perfor...

This paper examines audio-visual speaker veri cation using a novel adaptation of fused hidden Markov models, in comparison to output fusion of individual classi ers in the audio and video modalities. A comparison of both hidden Markov model (HMM) and Gaussian mixture model (GMM) classi ers in both modalities under output fusion shows that the choice of audio classi er is more important than vid...

In this paper we define a Temporal Action Theory through a combination of Answer Set Programming and Dynamic Linear Time Temporal Logic (DLTL). DLTL extends propositional temporal logic of linear time with regular programs of propositional dynamic logic, which are used for indexing temporal modalities. In our language, general temporal constraints can be included in domain descriptions. We defi...

We extend the classical hierarchy of branching-time temporal logics between UB and CTL by studying which additional expressive power (if any) stems from the incorporation of past-time modalities. In addition, we propose a new temporal combinator, N for \Now", that brings new and interesting expressive power. In several situations, non-trivial translation algorithms exist from a temporal logic w...

To obtain an expressively complete linear-time temporal logic (LTL) over Mazurkiewicz traces that is computationally tractable, we need to intepret formulas locally, at individual events in a trace, rather than globally, at configurations. Such local logics necessarily require past modalities, in contrast to the classical setting of LTL over sequences. Earlier attempts at defining expressively ...

Cognitive scientists have used developments in functional imaging to explore the role of the medial temporal lobe (MTL) in memory formation. Lesion studies have suggested that separate MTL subregions make distinct contributions to memory. Functional imaging of these distinct contributions, however, remains a challenge, because the proximity of the MTL substructures tests the spatial resolution ...