13 citations · 72 across the 24 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
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…
cs.AI2017★ 4 cited
Exploring the bidimensional space: A dynamic logic point of view
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
We present a family of logics for reasoning about agents' positions and motion in the plane which have several potential applications in the area of multi-agent systems (MAS), such…