scientific article; zbMATH DE number 2086407

MaRDI QIDQ4736862zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(3)

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

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)