Applications of discrete-time interval-based temporal separation
From MaRDI portal
Cites work
- A calculus of durations
- A Modal Logic for Chopping Intervals
- A Road Map of Interval Temporal Logics and Duration Calculi
- A separation theorem for discrete-time interval temporal logic
- An adequate first order interval logic
- An application of temporal projection to interleaving concurrency
- Completeness of neighbourhood logic
- Craig Interpolation for Linear Temporal Languages
- Decision problems forω-automata
- Duration calculus. A formal approach to real-time systems.
- Expressive completeness by separation for discrete time interval temporal logic with expanding modalities
- Expressive completeness of duration calculus.
- scientific article; zbMATH DE number 3848604 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- scientific article; zbMATH DE number 2038760 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 6131597 (Why is no real title available?)
- scientific article; zbMATH DE number 1424033 (Why is no real title available?)
- scientific article; zbMATH DE number 3248792 (Why is no real title available?)
- Maintaining knowledge about temporal intervals
- On ω-regular sets
- Results on the propositional \(\mu\)-calculus
- Specification and verification of multi-clock systems using a temporal logic with clock constraints
- Temporal logics with ``the next operator do not have interpolation or the Beth property
- Using the Universal Modality: Gains and Questions
This page was built for publication: Applications of discrete-time interval-based temporal separation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7326568)
