13 citations · 72 across the 24 of their papers we have counts for
Showing 2017 · math.LOShow all
2 papers · 2 filters
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…
math.LO2017★ 7 cited
A Decidable Intuitionistic Temporal Logic
Joseph Boudou, Martín Diéguez, David Fernández-Duque
We introduce the logic , an intuitionistic temporal logic based on structures , where is used to interpret intuitionistic implication…