Results 241 to 250 of about 294,052 (285)

Linear Temporal Logic Symbolic Model Checking

Computer Science Review, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kristin Y Rozier
openaire   +3 more sources

Visibly Linear Temporal Logic

Journal of Automated Reasoning, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bozzelli L., Sanchez C.
openaire   +2 more sources

Synchronized Linear-Time Temporal Logic

Studia Logica, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wansing, Heinrich, Kamide, Norihiro
openaire   +2 more sources

A Paraconsistent Linear-time Temporal Logic

Fundamenta Informaticae, 2011
Inconsistency-tolerant reasoning and paraconsistent logic are of growing importance not only in Knowledge Representation, AI and other areas of Computer Science, but also in Philosophical Logic. In this paper, a new logic, paraconsistent linear-time temporal logic (PLTL), is obtained semantically from the linear-time temporal logic LTL by adding a ...
Kamide, Norihiro, Wansing, Heinrich
openaire   +1 more source

Temporal normal form for Linear Temporal Logic formulae

Journal of Intelligent & Fuzzy Systems, 2015
In the present paper, the concepts of characters as well as the least characters for LTL (Linear Temporal Logic) formulae are introduced. It is pointed out that those LTL formulae with characters can always be checked within finite steps during model checking even in some cases when the underlying transition system contains infinite states.
Shi, Hui-Xian, Li, Yong-Ming
openaire   +1 more source

Regular Linear Temporal Logic

2007
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LTL operator can be defined as a context in regular linear temporal logic. This implies that there is a (linear) translation from LTL to RLTL.
Martin Leucker, César Sánchez
openaire   +1 more source

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

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