Darko Sarenac

Papers

Total Citations

H-Index

About

Darko Sarenac is a researcher whose work bridges logic, topology, and spatial reasoning, with a particular focus on the formal foundations of spatial logics. His key research areas include topological modal logic, the semantics of spatial reasoning, and the axiomatic development of logics that capture intuitive notions of space. In his most notable work, the 2006 thesis "Products of Topological Modal Logics" (4 citations), Sarenac systematically explores how modal logic and topology can be combined to create a hierarchy of increasingly expressive logics of space. By employing semantic and axiomatic techniques, he demonstrates how these logics can model spatial intuition across disciplines such as philosophy, computer science, and geography. Though his citation count is modest, his contributions are conceptually significant, offering a rigorous framework for understanding how logical systems can represent spatial relationships and topological structures. Sarenac’s work is particularly valuable for researchers interested in the intersection of logic, mathematics, and spatial cognition, providing a foundation for further exploration into the formalization of spatial reasoning.