Perception and behavior are fundamentally shaped by the integration of different sensory modalities into unique multisensory representations, a process governed by spatio-temporal correspondence. Prior work has characterized temporal perception using the point in time at which subjects are most likely to judge multisensory stimuli to be simultaneous (PSS) and the temporal binding window (TBW) o...

We introduce bisimulations for the logic ITL with ◯ (‘next’), U (‘until’) and R (‘release’), an intuitionistic temporal logic based on structures (W,≼, S), where ≼ is used to interpret intuitionistic implication and S is a ≼-monotone function used to interpret the temporal modalities. Our main results are that ◇ (‘eventually’), which is definable in terms of U , cannot be defined in terms of ◯ ...

A temporal logic of belief and actions (TLBA) is considered. The TLBA allows us to express informational and dynamic properties of computational agents. The considered fragment of TLBA allows one: (1) to present a deduction-based structured decision procedure; (2) to separate a decision procedure for so-called induction-free formulas and (3) to use only logical axioms for such formulas. The mai...

We introduce the logic ITLe, an intuitionistic temporal logic based on structures (W,4, S), where 4 is used to interpret intuitionistic implication and S is a 4-monotone function used to interpret temporal modalities. Our main result is that the satisfiability and validity problems for ITLe are decidable. We prove this by showing that the logic enjoys the strong finite model property. In contra...

In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natural numbers. We first introduce the logic and we show that it is expressive enough to model distinctive interval properties, such as accomplishment conditions, to capture basic modalities of point-based temporal logic, such as the ...

In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natural numbers. We first introduce the logic and we show that it is expressive enough to model distinctive interval properties, such as accomplishment conditions, to capture basic modalities of point-based temporal logic, such as the ...

Neurocognitive disorders may compromise the outcome of surgical cleft lip palate repair and thus need to be identified. Processing of rapidly changing sequential information (temporal processing) is a fundamental neurocognitive capacity that may contribute to various communication functions and has been found impaired in several developmental disorders. The occurrence of temporal processing dif...

In this thesis we present a novel approach to the specification of mobile systems. By mobile system we mean a system that makes use of code that can be transmitted from one computer to another one at runtime, so that the execution is continued on the new computer. Such systems are often modelled as a hierarchy of locations whose structure can be modified. This is also the starting point for our...

This paper presents the version of vitrivr participating at Video Browser Showdown (VBS) 2022. already supports a wide range query modalities, such as color and semantic sketches, OCR, ASR text embedding. In this paper, we briefly introduce system, then describe our new approach to queries specifying temporal context, ideas for color-based sketches in competitive retrieval setting novel pose-ba...

The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively complete. The analogous result with a global interpretation was solved some years ago by Thiagarajan and Walukiewicz (1997) and in its final form without any reference to past tense constants by Diekert and Gastin (2000)....