Following the Stanford Encyclopedia of Philosophy,“the term temporal logic has been
broadly used to cover all approaches to the representation of temporal information within a …

Over the last two decades, there has been an extensive study of logical formalisms on
specifying and verifying real-time systems. Temporal logics have been an important …

The aim of this thesis is to investigate logical formalisms for describing, reasoning about,
specifying, and perhaps ultimately verifying the properties of systems composed of multiple …

Verification of real-time systems is an important subject of research. This is highly motivated
by an increasing demand to verify safety critical systems, ie, time-dependent distributed …

Over the last two decades, there has been an extensive study on logical formalisms for
specifying and verifying real-time systems. Temporal logics have been an important …

Time is ubiquitous in information systems. Almost every enterprise faces the problem of its
data becoming out of date. However, such data is often valu able, so it should be archived …

The main goal of artificial intelligence is, in fact, designing techniques of knowledge
representation and reasoning fi'om this knowledge, rather than creation of formal models for …

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 …

We propose a logic for true concurrency whose formulae predicate about events in
computations and their causal dependencies. The induced logical equivalence is hereditary …

In this paper we introduce Event Identifier Logic (EIL), which extends Hennessy–Milner logic
by the addition of:(1) reverse as well as forward modalities; and (2) identifiers to keep track …