scientific article; zbMATH DE number 1405444

zbMath0939.03022MaRDI QIDQ4938418

Sébastien Praud, Serenella Cerrito, Marta Cialdea Mayer

Publication date: 5 July 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

provabilitytemporal constraintstableau calculusvalidity problemfirst-order linear temporal logicrecursive axiomatizabilitytemporal modelsbounded validityfinite time structures

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items

A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Representing any-time and program-iteration by infinitary conjunction ⋮ Temporal BI: proof system, semantics and translations ⋮ On temporal logic S4Dbr ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ LTL over integer periodicity constraints ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation