Decidability and Expressive Power of Real Time Logics

DOI10.1007/11867340_3zbMath1140.03304OpenAlexW1581699872MaRDI QIDQ3511220

Alexander Rabinovich

Publication date: 8 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11867340_3

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

This page was built for publication: Decidability and Expressive Power of Real Time Logics