The following publications are possibly variants of this publication:
- Decidability of the Theory of the Totally Unbounded omega-Layered StructureAngelo Montanari, Gabriele Puppis. time 2004: 156-160 [doi]
- Decidability Results for Metric and Layered Temporal LogicsAngelo Montanari, Alberto Policriti. ndjfl, 37(2):260-282, 1996.
- Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and UndecidabilityDavide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. ecai 2010: 695-700 [doi]
- Expressiveness and Decidability of Temporal Logics for Asynchronous HyperpropertiesLaura Bozzelli, Adriano Peron, César Sánchez. concur 2022: [doi]