57 citations · 75 across the 21 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
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…
math.LO2018★ 6 cited
Bisimulations for intuitionistic temporal logics
Philippe Balbiani, Joseph Boudou, Marín Diéguez +1
We introduce bisimulations for the logic with `next', `until' and `release', an intuitionistic temporal logic based on structures equipped with a partial order used to inte…