معرفی
Philippe Balbiani is a CNRS Researcher (Directeur de Recherche) in the LILaC research group at the Institut de Recherche en Informatique de Toulouse (IRIT), affiliated with Université Paul Sabatier in Toulouse, France. His primary research focuses on non-classical logics, including spatial logics, information logics, propositional dynamic logics, and multidimensional modal logics. He also investigates theoretical and algorithmic aspects of spatial and temporal reasoning, such as rectangle algebra and contact algebras. Balbiani has contributed to foundational studies in modal logics, including Sahlqvist theorems and completeness results, and has presented work at international venues like the Logic Colloquium and Modal Logic Seminars. His research bridges formal logic with computational applications in AI and spatial reasoning.
