An intuitionistic axiomatization of `eventually'
Logic
2018-04-11 v1
Abstract
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 fragment of this logic is complete for the class of non-deterministic quasimodels introduced by Fern\'andez-Duque. From this and results of Boudou, Romero and the authors, we conclude that this fragment is also complete for the standard semantics of over the class of expanding posets.
Keywords
Cite
@article{arxiv.1804.03217,
title = {An intuitionistic axiomatization of `eventually'},
author = {Martín Diéguez and David Fernández-Duque},
journal= {arXiv preprint arXiv:1804.03217},
year = {2018}
}