23 citations
- Université de Bretagne OccidentaleFR15 papers
- Laboratoire des Sciences et Techniques de l’Information de la Communication et de la ConnaissanceFR14 papers
- Centre National de la Recherche ScientifiqueFR12 papers
- Democritus University of ThraceGR4 papers
- Ghent UniversityBE4 papers
- IMT AtlantiqueFR4 papers
- Institut de Recherche en Informatique de ToulouseFR4 papers
- Donetsk National Technical UniversityUA2 papers
- Flinders UniversityAU2 papers
- Institut Polytechnique de BordeauxFR2 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR2 papers
- Norwegian University of Science and TechnologyNO2 papers
Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018★ 8 cited
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…
math.LO2018★ 6 cited
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…