A polynomial translation of S4 into intuitionistic logic

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

zbMATH Keywords

intuitionistic logicmodal logic S4polynomial translation

Mathematics Subject Classification ID

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

• Epistemic and intuitionistic formal systems
• Unnamed Item
• Unnamed Item

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