Axiomatic systems and topological semantics for intuitionistic temporal logic

DOI10.1007/978-3-030-19570-0_49OpenAlexW2964058654MaRDI QIDQ2296760

Fabián Romero, Martín Diéguez, Joseph Boudou, David Fernández-Duque

Publication date: 18 February 2020

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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: Axiomatic systems and topological semantics for intuitionistic temporal logic