We study linear time temporal logics of multiple agents, where the temporal modalities are local. These modalities not only refer to local next-instants and local eventuality, but also global views of agents at any local instant, which are updated due to communication from other agents. Thus agentsalso reason about the future, present and past of other agents in the system. The models for these...

In two experiments, we used dual-task methodology to assess the effect of aging on executive control of working memory. We hypothesized that (1) age-related dual-task costs would be observed even when individual tasks represent different perceptual modalities; (2) age would modulate the effect of increased temporal overlap on dual-task performance; and (3) the vulnerability of specific memory m...

Recognizing familiar individuals is achieved by the brain by combining cues from several sensory modalities, including the face of a person and her voice. Here we used functional magnetic resonance (fMRI) and a whole-brain, searchlight multi-voxel pattern analysis (MVPA) to search for areas in which local fMRI patterns could result in identity classification as a function of sensory modality. W...

Metric Temporal Logic (MTL) is a generalisation of Linear Temporal Logic in which the Until and Since modalities are annotated with intervals that express metric constraints. In this paper we show that over the reals MTL has the same expressive power as monadic first-order logic with binary order relation < and an infinite collection of unary functions +q, where q is a non-negative rational. Th...

We deene a value-based modal-calculus, built from rst-order formulas, modalities, and xed point operators parameterized by data variables, which allows to express temporal properties involving data. We interpret this logic over Crl terms deened by linear process equations. The satisfaction of a temporal formula by a Crl term is translated to the satisfaction of a rst-order formula containing pa...

Event-related potentials (ERPs) were recorded during auditory and visual "oddball" tasks from a patient with a severe verbal memory deficit due to a low grade infiltrating glioma which involved the full extent of the left medial temporal lobe. In both sensory modalities, the patient's oddball-evoked P300s were symmetrical and of normal amplitude. These findings are difficult to reconcile with t...

We consider two bounded versions of the model checking problem of a fixed temporal logic TL whose modalities are MSO-definable and which is specifying properties of multiply nested words, i.e., of runs of pushdown automata with multiple stacks. One of the problems asks, given a multi-stack system A, a temporal formula F from TL, and a bound k, whether all nested words ν which are accepted by A ...

Ability to count number of occurrences of events within a specified time interval is very useful in specification of resource bounded real time computation. In this paper, we study an extension of Metric Temporal Logic (MTL) with two different counting modalities called C and UT (until with threshold), which enhance the expressive power of MTL in orthogonal fashion. We confine ourselves only to...

Decidability and complexity of the satisfiability problem for the logics of time intervals have been extensively studied in the last years. Even though most interval logics turn out to be undecidable, meaningful exceptions exist, such as the logics of temporal neighborhood and (some of) the logics of the subinterval relation. In this paper, we explore a different path to decidability: instead o...

We combine quantified differential dynamic logic (QdL) for reasoning about the possible behavior of distributed hybrid systems with temporal logic for reasoning about the temporal behavior during their operation. Our logic supports verification of temporal and non-temporal properties of distributed hybrid systems and provides a uniform treatment of discrete transitions, continuous evolution, an...