Philippe Balbiani
Scholar

Philippe Balbiani

Google Scholar ID: okip-GsAAAAJ
Institut de recherche en informatique de Toulouse
Non-classical logics. Qualitative spatial and temporal reasoning. Unification problem.
Google Scholar↗
Citations & Impact
All-time
Citations
4,319
 
H-index
31
 
i10-index
87
 
Publications
20
 
Co-authors
56
list available
Publications
10 items
Resolving Asynchronous Distributed Knowledge
2026
Cited
0
Four intuitionistic modal connectives
2026
Cited
0
Intuitionistic modal logic LIK4 is decidable
2025
Cited
0
Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
2025
Cited
0
Intuitionistic modal logics: epistemic reasoning with distributed knowledge
2025
Cited
0
Modal definability in Euclidean modal logics
2025
Cited
0
PSPACE-completeness of bimodal transitive weak-density logic
2025
Cited
0
Complexity of some modal logics of density (extended version)
2025
Cited
0
Co-authors
11 total
Andreas Herzig
Andreas Herzig
CNRS Research Director, IRIT (CNRS, Univ. Toulouse)
Tinko Tinchev
Tinko Tinchev
Professor at Faculty of Mathematics and Informatics, Sofia University
Hans van Ditmarsch
Hans van Ditmarsch
CNRS
David Fernández-Duque
David Fernández-Duque
Professor of Philosophy, University of Barcelona
Frédéric Cuppens
Frédéric Cuppens
Polytechnique Montréal
Nicolas Troquard
Nicolas Troquard
Gran Sasso Science Institute - GSSI
Martin Diéguez
Martin Diéguez
University of Angers
Emiliano Lorini
Emiliano Lorini
CNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)