Two-sorted metric temporal logics

This publication has 10 references indexed in Scilit:

• Sahlqvist's theorem for boolean algebras with operators with an application to cylindric algebras
  Studia Logica, 1995
• A set-theoretic translation method for polymodal logics
  Journal of Automated Reasoning, 1995
• Temporal Proof Methodologies for Timed Transition-Systems
  Information and Computation, 1994
• Translation Methods for Non-Classical Logics: An Overview
  Logic Journal of the IGPL, 1993
• Real-Time Logics: Complexity and Expressiveness
  Information and Computation, 1993
• Embedding time granularity in a logical specification language for synchronous real-time systems
  Science of Computer Programming, 1993
• The modal logic of inequality
  The Journal of Symbolic Logic, 1992
• Specifying real-time properties with metric temporal logic
  Real-Time Systems, 1990
• Temporal Logic
  Published by Springer Nature ,1971
• Topological Logic
  The Journal of Symbolic Logic, 1969