4 citations · 6 across the 13 of their papers we have counts for
17 papers · 1 filter
Resolving Asynchronous Distributed Knowledge
Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
There are by now various epistemic modal logics with intersection modalities for distributed knowledge and intersection update modalities for dynamic phenomena like agents sharing…
Intuitionistic modal logic LIK4 is decidable
Philippe Balbiani, Çigdem Gencer, Tinko Tinchev
In this note, we prove that intuitionistic modal logic LIK4 is decidable.
Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
We investigate a logic for asynchronous announcements wherein the sending of the messages by the environment is separated from their reception by the individual agents. Both come w…
Intuitionistic modal logics: epistemic reasoning with distributed knowledge
Philippe Balbiani
In this article, we add a diamond to the parametrized box-based propositional language of intuitionistic doxastic logic and intuitionistic epistemic logic introduced by Artemov and…
PSPACE-completeness of bimodal transitive weak-density logic
Philippe Balbiani, Olivier Gasquet
Windows have been introduce in \cite{BalGasq25} as a tool for designing polynomial algorithms to check satisfiability of a bimodal logic of weak-density. In this paper, after revis…
Complexity of some modal logics of density (extended version)
Philippe Balbiani, Olivier Gasquet
By using a selective filtration argument, we prove that the satisfiability problem of the unimodal logic of density is in . By using a tableau-like approach, we prove that…