A correct polynomial translation of S4 into intuitionistic logic

DOI10.1017/JSL.2017.66MaRDI QIDQ5222518zbMATH OpenOpenAlexWikidataFDO

Authors Rajeev Goré, Jimmy Thomson

Publication date 6 April 2020

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

Full work available at URL https://semanticscholar.org/paper/8c0c5df8bf82e67a77c5851921f0f017e0a520dd

zbMATH Keywords

intuitionistic logicmodal logicKripke modelpolynomial translations

Mathematics Subject Classification ID

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

Recommendations

• A polynomial translation of S4 into intuitionistic logic
• A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4
• Modal translations in substructural logics
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• The Gödel-Tarski translations of intuitionistic propositional formulas

Cites work

• scientific article; zbMATH DE number 3950473 (Why is no real title available?)
• A polynomial translation of S4 into intuitionistic logic

Cited in

(8)

• On different intuitionistic calculi and embeddings from Int to S4
• scientific article; zbMATH DE number 4210104 (Why is no real title available?)
• A polynomial translation of S4 into intuitionistic logic
• Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
• The Gödel-Tarski translations of intuitionistic propositional formulas
• Modal logic S5 satisfiability in answer set programming
• A translation from the modal logic of provability into K4
• Undefinability of propositional quantifiers in the modal system S4

This page was built for publication: A correct 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 Q5222518)