A duration calculus with neighborhood modalities

DOI10.3166/jancl.20.81-126zbMath1242.68169OpenAlexW2067780343MaRDI QIDQ2901191

Suman Roy

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.20.81-126

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

Cites Work

• Unnamed Item
• Hybrid systems
• A calculus of durations
• Duration calculus: Logical foundations
• Completeness of temporal logics over infinite intervals.
• Duration calculus. A formal approach to real-time systems.
• Expressive completeness of duration calculus.
• Expressiveness and completeness of an interval tense logic
• Decidability of a Hybrid Duration Calculus
• A Modal Logic for Chopping Intervals
• On the decidability of continuous time specification formalisms
• A propositional modal logic of time intervals
• Completeness of neighbourhood logic

This page was built for publication: A duration calculus with neighborhood modalities