@misc{indiciae304cc2043982, title = {On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing}, author = {Paritosh K. Pandya and Simoni S. Shah}, year = {2011}, url = {https://arxiv.org/abs/1102.5638}, note = {Source identifier: 1102.5638} }