@ARTICLE{mpp06, author = {A. Montanari and A. Peron and G. Puppis}, title = {On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor}, journal = {Journal of Applied Non-Classical Logics}, year = {2006}, volume = {16}, pages = {433-455}, number = {3-4}, publisher = {Oxford University Press} }