4 citations · 6 across the 4 of their papers we have counts for
8 papers
Some constructive variants of S4 with the finite model property
Philippe Balbiani, Martín Diéguez, David Fernández-Duque
The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem. In…
About the unification types of the modal logics determined by classes of deterministic frames
Philippe Balbiani, Çiğdem Gencer, Maryam Rostamigiv +1
The unification problem in a propositional logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a uni…
Intuitionistic Linear Temporal Logics
Philippe Balbiani, Joseph Boudou, Martín Diéguez +1
We consider intuitionistic variants of linear temporal logic with `next', `until' and `release' based on expanding posets: partial orders equipped with an order-preserving transiti…
About the unification type of simple symmetric modal logics
Philippe Balbiani, Çiğdem Gencer
The unification problem in a normal modal logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a unif…
Representation theorems for extended contact algebras based on equivalence relations
Philippe Balbiani, Tatyana Ivanova
The aim of this paper is to give new representation theorems for extended contact algebras. These representation theorems are based on equivalence relations.
Frame-validity games and lower bounds on the complexity of modal axioms
Philippe Balbiani, David Fernández-Duque, Andreas Herzig +1
We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal f…