A duration calculus with neighborhood modalities.

DOI10.3166/JANCL.20.81-126MaRDI QIDQ2901191zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Duration calculus: Logical foundations
• Completeness of neighbourhood logic
• scientific article; zbMATH DE number 1543326
• scientific article; zbMATH DE number 1304337
• Unifying proof methodologies of duration calculus and timed linear temporal logic

Cites work

• scientific article; zbMATH DE number 3074914 (Why is no real title available?)
• A Modal Logic for Chopping Intervals
• A calculus of durations
• A propositional modal logic of time intervals
• Completeness of neighbourhood logic
• Completeness of temporal logics over infinite intervals.
• Decidability of a hybrid duration calculus
• Duration calculus. A formal approach to real-time systems.
• Duration calculus: Logical foundations
• Expressive completeness of duration calculus.
• Expressiveness and completeness of an interval tense logic
• Hybrid systems
• On the decidability of continuous time specification formalisms

Cited in

(4)

• A duration calculus with infinite intervals
• Unifying proof methodologies of duration calculus and timed linear temporal logic
• Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
• Expressive completeness of duration calculus.

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

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