Two-sorted metric temporal logics

DOI10.1016/S0304-3975(96)00324-6zbMath0901.03019MaRDI QIDQ1391098

Maarten de Rijke, Angelo Montanari

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

completenesssoundnessaxiomatizationmetric temporal logicsparameterized operator of relative temporal realizationqualitative timing propertiesquantitative timing propertiestemporal displacements

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45)

Related Items (1)

Solving Prior's problem with a Priorean tool

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Embedding time granularity in a logical specification language for synchronous real-time systems
• Real-time logics: Complexity and expressiveness
• Temporal proof methodologies for timed transition systems
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• A set-theoretic translation method for polymodal logics
• Constraint logic programming for reasoning about discrete event processes
• The modal logic of inequality
• Translation Methods for Non-Classical Logics: An Overview
• Completeness results for two-sorted metric temporal logics
• Topological Logic

This page was built for publication: Two-sorted metric temporal logics