Article contents
A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC
Published online by Cambridge University Press: 11 June 2019
Abstract
We show that the polynomial translation of the classical propositional normal modal logic S4 into the intuitionistic propositional logic Int from Fernández is incorrect. We give a modified translation and prove its correctness, and provide implementations of both translations to allow others to test our results.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2019
References
REFERENCES
- 3
- Cited by