A Logical Approach for Modeling Spatio-Temporal Objects and Events Artículo académico