Interval duration logic: expressiveness and decidability

DOI10.1016/S1571-0661(04)80480-8MaRDI QIDQ2842590zbMATH OpenFDO

Authors Paritosh K. Pandya

Publication date 15 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80480-8

Mathematics Subject Classification ID

Logic in computer science (03B70) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Digitizing interval duration logic.
• Deciding an Interval Logic with Accumulated Durations
• scientific article; zbMATH DE number 1543326
• scientific article; zbMATH DE number 512815

Cites work

• A calculus of durations
• A propositional modal logic of time intervals
• Decidable integration graphs.
• Duration calculus: Logical foundations
• Event-clock automata: a determinizable class of timed automata
• scientific article; zbMATH DE number 1705170 (Why is no real title available?)
• scientific article; zbMATH DE number 995939 (Why is no real title available?)
• scientific article; zbMATH DE number 1001709 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 512815 (Why is no real title available?)
• Model-checking dense-time duration calculus
• Model-checking discrete duration calculus
• Timed regular expressions

Cited in

(16)

• Duration-constrained regular expressions
• A survey on temporal logics for specifying and verifying real-time systems
• A Dose of Timed Logic, in Guarded Measure
• Logical Interpolation and Projection onto State in the Duration Calculus
• scientific article; zbMATH DE number 512815 (Why is no real title available?)
• scientific article; zbMATH DE number 1543326 (Why is no real title available?)
• Model checking bounded continuous-time extended linear duration invariants
• scientific article; zbMATH DE number 6131597 (Why is no real title available?)
• Hybrid metric propositional neighborhood logics with interval length binders
• Theoretical Aspects of Computing – ICTAC 2005
• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Tools and Algorithms for the Construction and Analysis of Systems
• Deciding an Interval Logic with Accumulated Durations
• Digitizing interval duration logic.
• A Road Map of Interval Temporal Logics and Duration Calculi
• Model checking duration calculus: a practical approach

Describes a project that uses

Uses Software

• Uppaal
• Kronos
• MONA
• DCVALID
• IDLVALID

This page was built for publication: Interval duration logic: expressiveness and decidability

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