Two-sorted metric temporal logics

DOI10.1016/S0304-3975(96)00324-6MaRDI QIDQ1391098zbMATH OpenFDO

Authors Angelo Montanari, Maarten de Rijke

Publication date 22 July 1998

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

Full work available at URL https://dare.uva.nl/personal/pure/en/publications/twosorted-metric-temporal-logic(392854fd-391a-4bec-af31-ba31cf133d15).html

zbMATH Keywords

axiomatizationcompletenessmetric temporal logicsparameterized operator of relative temporal realizationqualitative timing propertiesquantitative timing propertiessoundnesstemporal displacements

Mathematics Subject Classification ID

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

Recommendations

• Completeness results for two-sorted metric temporal logics
• A two-dimensional metric temporal logic
• Timer formulas and decidable metric temporal logic
• Metric temporal logic revisited
• Decidable metric logics

Cites work

• A set-theoretic translation method for polymodal logics
• Completeness results for two-sorted metric temporal logics
• Constraint logic programming for reasoning about discrete event processes
• Embedding time granularity in a logical specification language for synchronous real-time systems
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 1028834 (Why is no real title available?)
• scientific article; zbMATH DE number 3300580 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• Real-time logics: Complexity and expressiveness
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Temporal proof methodologies for timed transition systems
• The modal logic of inequality
• Topological Logic
• Translation Methods for Non-Classical Logics: An Overview

Cited in

(5)

• Timer formulas and decidable metric temporal logic
• Completeness results for two-sorted metric temporal logics
• A two-dimensional metric temporal logic
• Solving Prior's problem with a Priorean tool
• Multiple-valued semantics for metric temporal logic

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

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