A polynomial translation of S4 into intuitionistic logic
From MaRDI portal
Publication:3410685
DOI10.2178/jsl/1154698587zbMath1122.03012OpenAlexW1996541842MaRDI QIDQ3410685
No author found.
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
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
Constructive agents ⋮ Implicit and explicit stances in logic ⋮ The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions ⋮ A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC
Cites Work
This page was built for publication: A polynomial translation of S4 into intuitionistic logic