Separation -- past, present, and future

MaRDI QIDQ3012526zbMATH OpenFDO

Authors Ian Hodkinson, Mark Alexander Reynolds

Publication date 6 July 2011

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• A separation theorem for discrete-time interval temporal logic
• Revisiting separation: algorithms and complexity
• Separation in nonlinear time models
• On temporal and separation logics
• Anchored LTL separation

Cited in

(12)

• Social bot detection as a temporal logic model checking problem
• Synthesis for continuous time
• Past–future separation and normal forms in temporal predicate logic specifications
• A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
• Separation logics and modalities: a survey
• Past, present, and infinite future
• Anchored LTL separation
• Revisiting separation: algorithms and complexity
• A separation theorem for discrete-time interval temporal logic
• Separation, connectedness, and disconnectedness
• An optimal pastification algorithm for \(\mathsf{LTL} \lbrack \mathsf{X}, \mathsf{F} \rbrack\) and \(\mathsf{LTL} \lbrack \mathsf{X}, \mathsf{G} \rbrack \)
• From IF to BI. A tale of dependence and separation

This page was built for publication: Separation -- past, present, and future

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