57 citations · 75 across the 21 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
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…
cs.LO2019
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…
cs.LO2019★ 5 cited
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.