Axiomatic systems and topological semantics for intuitionistic temporal logic release_3if43lyzobby3ghfosucc465ny

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

Released as a article .

2018  

Abstract

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 on dynamic topological systems. Our topological semantics features a new interpretation for the `henceforth' modality that is a natural intuitionistic variant of the classical one. Using the soundness results, we show that the four logics obtained from the axiomatic systems are distinct. Finally, we show that when the language is restricted to the `henceforth'-free fragment, the set of valid formulas for the relational and topological semantics coincide.
In text/plain format

Archived Files and Locations

application/pdf  335.6 kB
file_mygjk35z2nfidagzuyicvkljoa
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2018-03-13
Version   v1
Language   en ?
arXiv  1803.05077v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: e8585bf4-0f10-4827-8440-aeccb8f583a3
API URL: JSON