Tableau-based automated deduction for duration calculus

DOI10.1007/3-540-45616-3_5MaRDI QIDQ4412851zbMATH OpenFDO

Authors Nathalie Chetcuti-Sperandio

Publication date 17 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1543326
• A mixed decision method for duration calculus
• Duration calculus: Logical foundations
• scientific article; zbMATH DE number 512815
• Model-checking discrete duration calculus

Cited in

(5)

• Decidability of a hybrid duration calculus
• Completeness and decidability of a fragment of duration calculus with iteration
• scientific article; zbMATH DE number 1543326 (Why is no real title available?)
• A mixed decision method for duration calculus
• Axiomatisation and decidability of multi-dimensional Duration Calculus

This page was built for publication: Tableau-based automated deduction for duration calculus

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