Results 251 to 260 of about 294,052 (285)

Locally linear time temporal logic

Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 2002
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.
openaire   +1 more source

Dynamic Linear Time Temporal Description Logics

2010 Second WRI Global Congress on Intelligent Systems, 2010
In the application of logics to semantic Web services, there are needs for formalizing compounded actions and temporal properties of dynamic domains. In this paper, by adding a dynamic dimension to linear time temporal description logics, we propose a family of dynamic, temporal extensions of description logics. The extended logics contain strengthened
Yongxin Sun, Xisun Zhao
openaire   +1 more source

Linear-Time Temporal Logics

2016
Linear-time temporal logics formalise reasoning about single computations in transition systems, represented by linear models over natural numbers, that is, infinite sequences of states of length ω . With linear-time formulae one can specify a rich variety of important properties of infinite computations; not only local ones, like BML, but also ...
openaire   +1 more source

A Decision Method for Linear Temporal Logic

1984
In this paper we define a new decision method for propositional temporal logic of programs. Temporal logic appears to be an appropriate tool to prove some properties of programs such as invariance or eventually because in this logic we define operators that enable us to represent properties that are valid during all the development of the program or ...
Ana R. Cavalli, Luis Fariñas Cerro
openaire   +1 more source

Finite-Trace Linear Temporal Logic: Coinductive Completeness

Formal Methods in System Design, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Linear time temporal logics over Mazurkiewicz traces

1996
Temporal logics are a well-established tool for specifying and reasoning about the computations performed by distributed systems. Although temporal logics are interpreted over sequences, it is often the case that such sequences can be gathered together into equivalence classes where all members of an equivalence class represent the same partially ...
Madhavan Mukund, P. S. Thiagarajan
openaire   +1 more source

Linear Temporal Logic

2022
Christian Colombo, Gordon J. Pace
openaire   +1 more source

Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals

Journal of Logic and Computation, 2005
The paper concerns the problem of logical consequence in linear temporal logics in terms of logical consecutions. A logical consecution c is an expression ψ1,...,ψn/ψ, where all ψi and ψ are formulas. An informal meaning of c is 'ψ is a logical consequence of assumptions ψ1,...ψn'.
openaire   +2 more sources

Linear Temporal Logic of Constraint Automata

2008
Constraint automata are formalisms to describe the behavior and possible data flow in coordination models. In this paper we introduce a linear time temporal logic, called temporal logic of steps (TLS), for specifying the executions of constraint automata. TLS is the first attempt in presenting a linear temporal logic for constraint automata. Having TLS
Sara Navidpour, Mohammad Izadi
openaire   +1 more source

Regular Linear Temporal Logic with Past

2010
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logic (LTL) to all ω-regular languages. The syntax of RLTL consists of an algebraic signature from which expressions are built.
César Sánchez, Martin Leucker
openaire   +1 more source