Results 321 to 330 of about 430,787 (365)

Temporal Reference in Linear Tense Logic

Journal of Philosophical Logic, 2010
This detailed paper presents a first-order theory, ET, within predicate linear tense logic (K4.\(3_t\)) which enables reference to individual times and in which `now' and `then' can be formalized. This theory contains a single short axiom in addition to those for first-order linear tense logic. That axiom is \(\exists x(\phi_N x\wedge G\sim\phi_N x)\),
openaire   +1 more source

Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity

Foundations of Software Technology and Theoretical Computer Science, 2020
We study the expressivity and the model checking problem of linear temporal logic with team semantics (TeamLTL). In contrast to LTL, TeamLTL is capable of defining hyperproperties, i.e., properties which relate multiple execution traces.
Jonni Virtema, Jana Hofmann, B. Finkbeiner, J. Kontinen, Fan Yang   +4 more
semanticscholar   +1 more source

Linear Temporal Logic Symbolic Model Checking

Computer Science Review, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Adding partial orders to linear temporal logic

Fundamenta Informaticae, 1997
Modeling execution as partial orders increases the flexibility in reasoning about concurrent programs by allowing the use of alternative, equivalent execution sequences. This is a desirable feature in specifying concurrent systems which allows formalizing frequently used arguments such as ‘in an equivalent execution sequence’, or ‘in a consistent ...
Bhat, Girish, Peled, Doron
openaire   +2 more sources

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

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