Title: Theory / Unimportant / CS / Fundamental / Model Checking / MTL

Question: \(|closure(\phi)|\) is
Answer: at most \(2CN\) with \(C\) the maximal constant plus one, and \(N\) the number of boolean and temporal connectives in \(\phi\)
Page: 69
Section: 4.2
Variables: \(P\) a set of propositions,
\(\phi\in\mathrm{MTL_P}\),