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
1,140
 
H-index
16
 
i10-index
35
 
Publications
20
 
Co-authors
56
list available
Contact
No contact links provided.
Publications
8 items
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
Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
2025
Cited
0
Intuitionistic modal logics: a minimal setting
2025
Cited
0
Resume (English only)
Co-authors
56 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
Co-author 4
Co-author 4
Co-author 5
Co-author 5
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
Co-author 8
Co-author 8