An intuitionistic axiomatization of `eventually'

zbMath1418.03078arXiv1804.03217MaRDI QIDQ5224567

Martín Diéguez, David Fernández-Duque

Publication date: 24 July 2019

Full work available at URL: https://arxiv.org/abs/1804.03217

zbMATH Keywords

completenesstemporal logicaxiomatizationintuitionistic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Exploring the Jungle of Intuitionistic Temporal Logics

This page was built for publication: An intuitionistic axiomatization of `eventually'