13 citations · 72 across the 24 of their papers we have counts for
19 papers · 1 filter
Arithmetical and Hyperarithmetical Worm Battles
David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov +2
Japaridze's provability logic has one modality for each natural number and has been used by Beklemishev for a proof theoretic analysis of Peano aritmetic and rel…
An intuitionistic axiomatization of `eventually'
Martín Diéguez, David Fernández-Duque
Boudou and the authors have recently introduced the intuitionistic temporal logic and shown it to be decidable. In this article we show that the `henceforth'-free fragm…
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…
Axiomatic systems and topological semantics for intuitionistic temporal logic
Joseph Boudou, Martín Diéguez, David Fernández-Duque +1
We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or o…
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…
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…