57 citations · 75 across the 21 of their papers we have counts for
7 papers · 1 filter
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…
Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
Philippe Balbiani, Cigdem Gencer
In this note, by integrating ideas concerning terminating tableaux-based procedures in modal logics and finite frame property of intuitionistic modal logic IK, we provide new and s…
Intuitionistic modal logics: a minimal setting
Philippe Balbiani, Çigdem Gencer
We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionist…