scientific article; zbMATH DE number 2086407

zbMATH Open1054.03014MaRDI QIDQ4736862FDOQ4736862

Authors: Denis Thérien, Thomas Wilke 

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2285/22850455.htm

Title of this publication is not available (Why is that?)

Recommendations

• Nesting until and since in linear temporal logic
• Linear temporal logic with until and next, logical consecutions
• Axiomatising first-order temporal logic: Until and since over linear time
• scientific article; zbMATH DE number 6287569
• Expressiveness for Highly Nested Expressions in Linear Temporal Logic
• scientific article; zbMATH DE number 4182845
• The Complexity of Temporal Logic with Until and Since over Ordinals
• Linear, branching time and joint closure semantics for temporal logic
• Linear temporal logic -- from infinite to finite horizon
• Logical consecutions in discrete linear temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (3)

• Nesting until and since in linear temporal logic
• An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
• Temporal logic and semidirect products: An effective characterization of the until hierarchy

This page was built for publication:

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