| 2024 | AiML | Towards Dynamic Distributed Knowledge. | Philippe Balbiani, Hans van Ditmarsch |
| 2024 | CSL | A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. | Philippe Balbiani, Han Gao, igdem Gencer, Nicola Olivetti |
| 2024 | IJCAR | Local Intuitionistic Modal Logics and Their Calculi. | Philippe Balbiani, Han Gao, igdem Gencer, Nicola Olivetti |
| 2022 | AiML | Parametrized modal logic I: An introduction. | Philippe Balbiani, Sal Fernndez Gonzlez |
| 2022 | AiML | Projective unification through duality. | Philippe Balbiani, Quentin Gougeon |
| 2021 | LICS | Some constructive variants of S4 with the finite model property. | Philippe Balbiani, Martn Diguez, David Fernndez-Duque |
| 2021 | WoLLIC | Orthogonal Frames and Indexed Relations. | Philippe Balbiani, Sal Fernndez Gonzlez |
| 2020 | AiML | Quantifying over Asynchronous Information Change. | Philippe Balbiani, Hans van Ditmarsch, Sal Fernndez Gonzlez |
| 2020 | AiML | Indexed Frames and Hybrid Logics. | Philippe Balbiani, Sal Fernndez Gonzlez |
| 2020 | ECAI | From Public Announcements to Asynchronous Announcements. | Philippe Balbiani, Hans van Ditmarsch, Sal Fernndez Gonzlez |
| 2019 | IJCAI | Stratified Evidence Logics. | Philippe Balbiani, David Fernndez-Duque, Andreas Herzig, Emiliano Lorini |
| 2018 | AiML | Here and There Modal Logic with Dual Implication. | Philippe Balbiani, Martn Diguez |
| 2018 | AiML | Frame-Validity Games and Absolute Minimality of Modal Axioms. | Philippe Balbiani, David Fernndez-Duque, Andreas Herzig, Petar Iliev |
| 2017 | TABLEAUX | Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. | Philippe Balbiani, Joseph Boudou |
| 2016 | AiML | Before announcement. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig |
| 2016 | AiML | Axiomatizing the lexicographic products of modal logics with linear temporal logic. | Philippe Balbiani, David Fernndez-Duque |
| 2016 | AiML | About intuitionistic public announcement logic. | Philippe Balbiani, Didier Galmiche |
| 2016 | AiML | Unification in modal logic Alt | Philippe Balbiani, Tinko Tinchev |
| 2016 | JELIA | On Logics of Group Belief in Structured Coalitions. | Philippe Balbiani, David Pearce, Levan Uridia |
| 2016 | JELIA | Temporal Here and There. | Philippe Balbiani, Martn Diguez |
| 2015 | CADE | Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. | Philippe Balbiani, Joseph Boudou |
| 2014 | AiML | Definability and Computability for PRSPDL. | Philippe Balbiani, Tinko Tinchev |
| 2013 | LICS | Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. | Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
| 2013 | WoLLIC | Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL. | Philippe Balbiani, Emiliano Lorini |
| 2012 | AiML | Some Truths Are Best Left Unsaid. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2012 | AiML | Sahlqvist Theorems for Precontact Logics. | Philippe Balbiani, Stanislav Kikot |
| 2012 | AiML | Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders. | Philippe Balbiani, Levan Uridia |
| 2012 | JELIA | Deciding the Bisimilarity Relation between Datalog Goals. | Philippe Balbiani, Antoun Yaacoub |
| 2010 | CRiSIS | An intruder model for trust negotiation. | Philippe Balbiani, Yannick Chevalier, Marwa El Houri |
| 2010 | ICTAI | Coherence Test on Graphs Constraints between Hyperintervals. | Philippe Balbiani |
| 2010 | TIME | Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints. | Philippe Balbiani |
| 2009 | CRiSIS | A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. | Philippe Balbiani, Yannick Chevalier, Marwa El Houri |
| 2009 | SEC | A Policy Language for Modelling Recommendations. | Anas Abou El Kalam, Philippe Balbiani |
| 2008 | AIMSA | A Logical Approach to Dynamic Role-Based Access Control. | Philippe Balbiani, Yannick Chevalier, Marwa El Houri |
| 2008 | KR | Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. | Philippe Balbiani |
| 2008 | SERVICES | Composition of Interactive Web Services Based on Controller Synthesis. | Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade |
| 2007 | TABLEAUX | A Tableau Method for Public Announcement Logics. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2007 | TARK | What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. | Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima |
| 2006 | AICCSA | Access control with prohibitions and obligations. | Philippe Balbiani, Fatima Harb, Ali Kaafarani |
| 2006 | AiML | An expressive two-sorted spatial logic for plane projective geometry. | Philippe Balbiani |
| 2006 | AiML | Every world can see a Sahlqvist world. | Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman |
| 2005 | AICCSA | A formal examination of roles and permissions in access control. | Philippe Balbiani |
| 2004 | AIMSA | Solving Constraints Between Lines in Euclidean Geometry. | Philippe Balbiani, Khalil Challita |
| 2004 | JELIA | Line-Based Affine Reasoning in Euclidean Plane. | Philippe Balbiani, Tinko Tinchev |
| 2003 | TIME | On the Consistency Problem for the INDU Calculus. | Philippe Balbiani, Jean-Franois Condotta, Grard Ligozat |
| 2002 | AiML | Editorial Preface. | Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
| 2001 | ECSQARU | First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. | Philippe Balbiani, Dimiter Vakarelov |
| 2000 | KR | A Model for Reasoning about Topologic Relations between cyclic intervals. | Philippe Balbiani, Aomar Osmani |
| 2000 | TIME | Reasoning about Generalized Intervals: Horn Representability and Tractability. | Philippe Balbiani, Jean-Franois Condotta, Grard Ligozat |
| 1999 | EPIA | A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. | Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro |
| 1999 | IJCAI | A New Tractable Subclass of the Rectangle Algebra. | Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro |
| 1998 | AIMSA | Reasoning about Generalized Intervals. | Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro, Aomar Osmani |
| 1998 | KR | A Model for Reasoning about Bidemsional Temporal Relations. | Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro |
| 1997 | IJCAI | Prefixed Tableaux Systems for Modal Logics with Enriched Languages. | Philippe Balbiani, Stphane Demri |
| 1996 | AiML | Terminological Modal Logic. | Philippe Balbiani |
| 1996 | MFCS | A Modal Logic for Data Analysis. | Philippe Balbiani |
| 1991 | STACS | A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules. | Philippe Balbiani |
| 1990 | IPMU | Non-monotonic Reasoning and Modal Logic, from Negation as Failure to Default Logic. | Philippe Balbiani |