P. Balbiani

Most-cited papers

1. Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL

   P. Balbiani, A. Herzig, N. Troquard

   20132013 28th Annual ACM/IEEE Symposium on Logic in Computer Science81 citations Open access

   Semantic Scholar

   Save

2. Subset Space Logic with Arbitrary Announcements

   P. Balbiani, Hans van Ditmarsch, A. Kudinov

   2013Indian Conference on Logic and Its Applications29 citations Open access

   Semantic Scholar

   Save

3. A Logical Theory of Belief Dynamics for Resource-Bounded Agents

   P. Balbiani, D. Fernández-Duque, E. Lorini

   2016Adaptive Agents and Multi-Agent Systems28 citations Open access

   Semantic Scholar

   Save

4. Agents that look at one another

   P. Balbiani, Olivier Gasquet, François Schwarzentruber

   2013Logic Journal of the IGPL28 citations Open access

   Semantic Scholar

   Save

5. A simple proof of the completeness of APAL

   P. Balbiani, Hans van Ditmarsch

   2014arXiv.org25 citations

   Semantic Scholar

   Save

6. The Dynamics of Epistemic Attitudes in Resource-Bounded Agents

   P. Balbiani, D. Fernández-Duque, E. Lorini

   2018Studia Logica: An International Journal for Symbolic Logic24 citations Open access

   Semantic Scholar

   Save

7. Intuitionistic Linear Temporal Logics

   P. Balbiani, Joseph Boudou, M. Diéguez, David Fernández-Duque

   2019ACM Transactions on Computational Logic23 citations Open access

   Semantic Scholar

   Save

8. Temporal Here and There

   P. Balbiani, M. Diéguez

   2016European Conference on Logics in Artificial Intelligence22 citations Open access

   Semantic Scholar

   Save

9. Some constructive variants of S4 with the finite model property

   P. Balbiani, M. Diéguez, David Fernández-Duque

   2021Logic in Computer Science19 citations Open access

   Semantic Scholar

   Save

10. DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE

    P. Balbiani, A. Herzig, François Schwarzentruber, N. Troquard

    2014arXiv.org19 citations

    Semantic Scholar

    Save

11. Putting right the wording and the proof of the Truth Lemma for APAL

    P. Balbiani

    2015J. Appl. Non Class. Logics16 citations Open access

    Semantic Scholar

    Save

12. Reasoning About Permitted Announcements

    P. Balbiani, P. Seban

    2011Journal of Philosophical Logic16 citations

    Semantic Scholar

    Save

13. Deciding the word problem in pure double Boolean algebras

    P. Balbiani

    2012Journal of Applied Logic15 citations Open access

    Semantic Scholar

    Save

14. A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus

    P. Balbiani, Han Gao, Ç. Gencer, N. Olivetti

    2023Annual Conference for Computer Science Logic14 citations Open access

    Semantic Scholar

    Save

15. Some Truths Are Best Left Unsaid

    P. Balbiani, Hans van Ditmarsch, A. Herzig, T. Lima

    2012Advances in Modal Logic13 citations

    Semantic Scholar

    Save

16. KD is nullary

    P. Balbiani, Ç. Gencer

    2017J. Appl. Non Class. Logics11 citations Open access

    Semantic Scholar

    Save

17. Sahlqvist Theorems for Precontact Logics

    P. Balbiani, S. Kikot

    2012Advances in Modal Logic11 citations

    Semantic Scholar

    Save

18. Unification in modal logic Alt1

    P. Balbiani, Tinko Tinchev

    2016Advances in Modal Logic10 citations

    Semantic Scholar

    Save

19. Local Intuitionistic Modal Logics and Their Calculi

    P. Balbiani, Han Gao, Ç. Gencer, Nicola Olivetti

    2024International Joint Conference on Automated Reasoning9 citations

    Semantic Scholar

    Save

20. Unification in epistemic logics

    P. Balbiani, Ç. Gencer

    2017J. Appl. Non Class. Logics9 citations Open access

    Semantic Scholar

    Save

21. About intuitionistic public announcement logic

    P. Balbiani, D. Galmiche

    2016Advances in Modal Logic9 citations

    Semantic Scholar

    Save

22. Before announcement

    P. Balbiani, Hans van Ditmarsch, A. Herzig

    2016Advances in Modal Logic9 citations

    Semantic Scholar

    Save

23. Remarks about the unification type of several non-symmetric non-transitive modal logics

    P. Balbiani

    2018Logic Journal of the IGPL8 citations Open access

    Semantic Scholar

    Save

24. Definability and Computability for PRSPDL

    P. Balbiani, Tinko Tinchev

    2014Advances in Modal Logic8 citations

    Semantic Scholar

    Save

25. Relational Representation Theorems for Extended Contact Algebras

    P. Balbiani, T. Ivanova

    2020Studia Logica: An International Journal for Symbolic Logic7 citations Open access

    Semantic Scholar

    Save

26. Elementary Unification in Modal Logic KD45

    P. Balbiani, Tinko Tinchev

    2018FLAP7 citations

    Semantic Scholar

    Save

27. Bisimulations for intuitionistic temporal logics

    P. Balbiani, Joseph Boudou, M. Diéguez, D. Fernández-Duque

    2018FLAP7 citations

    Semantic Scholar

    Save

28. Intuitionistic modal logics: a minimal setting

    P. Balbiani, Çigdem Gencer

    2025arXiv.org6 citations

    Semantic Scholar

    Save

29. A sequent calculus with labels for Public Announcement Logic

    P. Balbiani, Vincent Demange, D. Galmiche

    20146 citations

    Semantic Scholar

    Save

30. Towards Dynamic Distributed Knowledge

    P. Balbiani, Hans van Ditmarsch

    2024Advances in Modal Logic5 citations

    Semantic Scholar

    Save

31. Constructive S4 modal logics with the finite birelational frame property

    P. Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean

    2024Journal of the ACM5 citations Open access

    Semantic Scholar

    Save

32. Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization

    P. Balbiani, Joseph Boudou

    2018Journal of Logic and Computation5 citations Open access

    Semantic Scholar

    Save

33. A complete axiomatization of Euclidean strong non-contingency logic

    P. Balbiani, Jie Fan

    20175 citations

    Semantic Scholar

    Save

34. Exploring the Bidimensional Space: A Dynamic Logic Point of View

    P. Balbiani, D. Fernández-Duque, E. Lorini

    2017Adaptive Agents and Multi-Agent Systems5 citations Open access

    Semantic Scholar

    Save

35. Axiomatizing the lexicographic products of modal logics with linear temporal logic

    P. Balbiani, D. Fernández-Duque

    2016Advances in Modal Logic5 citations

    Semantic Scholar

    Save

36. Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL

    P. Balbiani, E. Lorini

    2013Workshop on Logic, Language, Information and Computation5 citations Open access

    Semantic Scholar

    Save

37. Deciding the Bisimilarity Relation between Datalog Goals

    P. Balbiani, Antoun Yaacoub

    2012European Conference on Logics in Artificial Intelligence5 citations

    Semantic Scholar

    Save

38. Complexity of some modal logics of density (extended version)

    P. Balbiani, Olivier Gasquet

    2025Festschrift for Andreas Herzig4 citations

    Semantic Scholar

    Save

39. About the unification types of the modal logics determined by classes of deterministic frames

    P. Balbiani, Çiğdem Gencer, Maryam Rostamigiv, Tinko Tinchev

    2020arXiv.org4 citations

    Semantic Scholar

    Save

40. Indexed Frames and Hybrid Logics

    P. Balbiani, S. F. González

    2020Advances in Modal Logic4 citations

    Semantic Scholar

    Save

41. Stratified Evidence Logics

    P. Balbiani, D. Fernández-Duque, A. Herzig, E. Lorini

    2019International Joint Conference on Artificial Intelligence4 citations Open access

    Semantic Scholar

    Save

42. Undecidable problems for modal definability

    P. Balbiani, Tinko Tinchev

    2016Journal of Logic and Computation4 citations Open access

    Semantic Scholar

    Save

43. Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders

    P. Balbiani, S. Mikulás

    2013International Symposium on Frontiers of Combining Systems4 citations Open access

    Semantic Scholar

    Save

44. Admissibility and Unifiability in Contact Logics

    P. Balbiani, Ç. Gencer

    2013Tbilisi Symposium on Logic, Language, and Computation4 citations Open access

    Semantic Scholar

    Save

45. Intuitionistic modal logics: tips and clips

    P. Balbiani, Ç. Gencer

    2026Logic Journal of the IGPL3 citations Open access

    Semantic Scholar

    Save

46. Unification types in Euclidean modal logics

    Majid Alizadeh, Mohammad Ardeshir, P. Balbiani, Mojtaba Mojtahedi

    2023Logic Journal of the IGPL3 citations

    Semantic Scholar

    Save

47. From Public Announcements to Asynchronous Announcements

    P. Balbiani, Hans van Ditmarsch, S. F. González

    2020European Conference on Artificial Intelligence3 citations Open access

    Semantic Scholar

    Save

48. C¸i˘gdem Gencer About the Unification Type of Modal Logics Between KB and KTB

    P. Balbiani, Çiğdem Gencer

    20203 citations

    Semantic Scholar

    Save

49. Reasoning about negligibility and proximity in the set of all hyperreals

    P. Balbiani

    2016Journal of Applied Logic3 citations Open access

    Semantic Scholar

    Save

50. Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition

    P. Balbiani, Joseph Boudou

    2015CADE3 citations Open access

    Semantic Scholar

    Save