A mixed decision method for duration calculus

DOI10.1093/LOGCOM/10.6.877MaRDI QIDQ4528041zbMATHOpenAlexFDO

Authors Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro

Publication date 29 January 2001

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/cf3d63f54cd82d792d6115909e4ec2e3ab31ad52

zbMATH Keywords

automated deductionsoftware engineeringrepresentation of time

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1543326
• scientific article; zbMATH DE number 1950253
• scientific article; zbMATH DE number 512815
• A calculus of durations
• Decidability of a hybrid duration calculus

Cited in

(9)

• STUDY ON LONGER AND SHORTER BOUNDARY DURATION VECTORS WITH ARBITRARY DURATION AND COST VALUES
• A survey on temporal logics for specifying and verifying real-time systems
• scientific article; zbMATH DE number 1950253 (Why is no real title available?)
• scientific article; zbMATH DE number 1543326 (Why is no real title available?)
• A general tableau method for propositional interval temporal logics: theory and implementation
• A Road Map of Interval Temporal Logics and Duration Calculi
• Decidability of a hybrid duration calculus
• Deciding an Interval Logic with Accumulated Durations
• A Road Map of Interval Temporal Logics and Duration Calculi

This page was built for publication: A mixed decision method for duration calculus

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