First order linear temporal logic over finite time structures

DOI10.1007/3-540-48242-3_5MaRDI QIDQ4938418zbMATH OpenFDO

Authors Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud

Publication date 5 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48242-3_5

zbMATH Keywords

bounded validityfinite time structuresfirst-order linear temporal logicprovabilityrecursive axiomatizabilitytableau calculustemporal constraintstemporal modelsvalidity problem

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Labelled tableaux for propositional linear time logic over finite frames
• scientific article; zbMATH DE number 1678387
• Completeness theorem for a first order linear-time logic
• Bounded linear-time temporal logic: a proof-theoretic investigation
• On finite domains in first-order linear temporal logic

Cited in

(18)

• On finite domains in first-order linear temporal logic
• On temporal logic S4Dbr
• LTL over integer periodicity constraints
• A general tableau method for propositional interval temporal logics: theory and implementation
• Labelled tableaux for propositional linear time logic over finite frames
• scientific article; zbMATH DE number 1678387 (Why is no real title available?)
• A decidable temporal relevant logic for time-dependent relevant human reasoning
• Temporal BI: proof system, semantics and translations
• On the completeness and decidability of a restricted first order linear temporal logic
• scientific article; zbMATH DE number 2047494 (Why is no real title available?)
• Representing any-time and program-iteration by infinitary conjunction
• scientific article; zbMATH DE number 6174011 (Why is no real title available?)
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
• Automated Reasoning
• A bounded domain property for an expressive fragment of first-order linear temporal logic
• First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
• Bounded linear-time temporal logic: a proof-theoretic investigation
• Combining linear-time temporal logic with constructiveness and paraconsistency

This page was built for publication: First order linear temporal logic over finite time structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4938418)