4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
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…