A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC

DOI10.1017/jsl.2017.66zbMath1457.03041OpenAlexW2951297772WikidataQ127732555 ScholiaQ127732555MaRDI QIDQ5222518

Jimmy Thomson, Rajeev Goré

Publication date: 6 April 2020

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

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

zbMATH Keywords

modal logicintuitionistic logicKripke modelpolynomial translations

Mathematics Subject Classification ID

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

Related Items (2)

Modal Logic S5 Satisfiability in Answer Set Programming ⋮ Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic

Cites Work

• Unnamed Item
• A polynomial translation of S4 into intuitionistic logic

This page was built for publication: A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC