Temporal interpretation of intuitionistic quantifiers

MaRDI QIDQ5104700zbMATH OpenFDO

Authors Guram Bezhanishvili, Luca Carai

Publication date 15 September 2022

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

zbMATH Keywords

Gödel translationintuitionistic quantifierstemporal interpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
• Temporal Gödel-Gentzen and Girard translations
• A proof-theoretic approach to negative translations in intuitionistic tense logics
• A decidable intuitionistic temporal logic
• A translation of intuitionistic predicate logic into basic predicate logic

Cited in

(5)

• Temporal type theory. A topos-theoretic approach to systems and behavior
• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
• Temporal interpretation of intuitionistic quantifiers
• On the interpretability of arithmetic in temporal logic

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

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