4 citations · 4 across the 1 of their papers we have counts for
2 papers
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.LO2017★ 4 cited
Succinctness in subsystems of the spatial mu-calculus
David Fernández-Duque, Petar Iliev
In this paper we systematically explore questions of succinctness in modal logics employed in spatial reasoning. We show that the closure operator, despite being less expressive, i…