Philippe Balbiani

Identifiers

• name variant Philippe Balbiani 0.60 · backfill

Papers (9)

1. Four intuitionistic modal connectives cs.LO · 2026 · author #1
2. Axiomatisation for an asynchronous epistemic logic with sending and receiving messages cs.LO · 2025 · author #1
3. About the unification type of simple symmetric modal logics cs.LO · 2019 · author #1
4. Frame-validity games and lower bounds on the complexity of modal axioms cs.LO · 2018 · author #1
5. Bisimulations for intuitionistic temporal logics math.LO · 2018 · author #1
6. Exploring the bidimensional space: A dynamic logic point of view cs.AI · 2017 · author #1
7. DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE cs.LO · 2014 · author #1
8. A simple proof of the completeness of APAL cs.LO · 2014 · author #1
9. Alternative axiomatics and complexity of deliberative STIT theories cs.LO · 2007 · author #1

Mentions

• 2606.07348 #1 · arxiv_oai · confidence 0.70 Philippe Balbiani
• 1411.7825 #1 · backfill · confidence 0.70 Philippe Balbiani
• 1409.2612 #1 · backfill · confidence 0.70 Philippe Balbiani
• 0704.3238 #1 · backfill · confidence 0.70 Philippe Balbiani

Frequent Coauthors

• Andreas Herzig 3 shared papers
• David Fern\'andez-Duque 3 shared papers
• Hans van Ditmarsch 2 shared papers
• Nicolas Troquard 2 shared papers
• \c{C}igdem Gencer 1 shared papers
• \c{C}i\u{g}dem Gencer 1 shared papers
• Clara Lerouvillois 1 shared papers
• Emiliano Lorini 1 shared papers
• Fran\c{c}ois Schwarzentruber 1 shared papers
• Joseph Boudou 1 shared papers
• Mar\'in Di\'eguez 1 shared papers
• Petar Iliev 1 shared papers