A mixed decision method for duration calculus

DOI10.1093/LOGCOM/10.6.877zbMATH Open0965.03013OpenAlexW2141330622MaRDI QIDQ4528041FDOQ4528041

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

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

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)

Cited In (9)

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

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)