Temporal interpretation of intuitionistic quantifiers: Monadic case

DOI10.1017/S1755020321000496MaRDI QIDQ6348132arXivFDO

Authors Guram Bezhanishvili, Luca Carai

Publication date 1 September 2020

Published in arXiv

Full work available at URL https://doi.org/10.1017/S1755020321000496

Mathematics Subject Classification ID

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

arXiv classification

math.LO

Abstract: In a recent paper we showed that intuitionistic quantifiers admit the following temporal interpretation: "always in the future" (for $forall$) and "sometime in the past" (for $exists$). In this paper we study this interpretation for the monadic fragment $sfMIPC$ of the intuitionistic predicate logic. It is well known that $sfMIPC$ is translated fully and faithfully into the monadic fragment $sfMS4$ of the predicate $sfS4$ (G"{o}del translation). We introduce a new tense extension of $sfS4$, denoted by $sfTS4$, and provide an alternative full and faithful translation of $sfMIPC$ into $sfTS4$, which yields the temporal interpretation of monadic intuitionistic quantifiers mentioned above. We compare this new translation with the G"{o}del translation by showing that both $sfMS4$ and $sfTS4$ can be translated fully and faithfully into a tense extension of $sfMS4$, which we denote by $sfMS4.t$. This is done by utilizing the algebraic and relational semantics for the new logics introduced. As a byproduct, we prove the finite model property (fmp) for $sfMS4.t$ and show that the fmp for the other logics involved can be derived as a consequence of the fullness and faithfulness of the translations considered.

This page was built for publication: Temporal interpretation of intuitionistic quantifiers: Monadic case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6348132)