A polynomial translation of S4 into intuitionistic logic

DOI10.2178/JSL/1154698587MaRDI QIDQ3410685zbMATH OpenOpenAlexFDO

Authors

Publication date 29 November 2006

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1154698587

zbMATH Keywords

intuitionistic logicmodal logic S4polynomial translation

Mathematics Subject Classification ID

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

Recommendations

• A correct polynomial translation of S4 into intuitionistic logic
• A translation from the modal logic of provability into K4
• Modal translations in substructural logics
• The Gödel-Tarski translations of intuitionistic propositional formulas
• FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL

Cites work

• A short introduction to intuitionistic logic
• Epistemic and intuitionistic formal systems
• scientific article; zbMATH DE number 1749192 (Why is no real title available?)

Cited in

(12)

• Constructive agents
• Implicit and explicit stances in logic
• The Gödel-Tarski translations of intuitionistic propositional formulas
• A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4
• scientific article; zbMATH DE number 4210104 (Why is no real title available?)
• The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions
• scientific article; zbMATH DE number 60832 (Why is no real title available?)
• FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL
• A translation from the modal logic of provability into K4
• A correct polynomial translation of S4 into intuitionistic logic
• On different intuitionistic calculi and embeddings from Int to S4
• Relational patterns, partiality, and set lifting in modal semantics

This page was built for publication: A polynomial translation of S4 into intuitionistic logic

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