A duration calculus with neighborhood modalities.

DOI10.3166/JANCL.20.81-126zbMATH Open1242.68169OpenAlexW2067780343MaRDI QIDQ2901191FDOQ2901191

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

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

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

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

Cited In (4)

• Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
• Unifying proof methodologies of duration calculus and timed linear temporal logic
• A duration calculus with infinite intervals
• 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)