Completeness results for two-sorted metric temporal logics

DOI10.1007/3-540-60043-4_66zbMath1496.03078OpenAlexW2097459721MaRDI QIDQ5096398

Angelo Montanari, Maarten de Rijke

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_66

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

Two-sorted metric temporal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification and compositional verification of real-time systems
• Embedding time granularity in a logical specification language for synchronous real-time systems
• Real-time logics: Complexity and expressiveness
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• The modal logic of inequality
• Translation Methods for Non-Classical Logics: An Overview
• A set-theoretic translation method for (poly)modal logics
• Topological Logic

This page was built for publication: Completeness results for two-sorted metric temporal logics