Abstract | ||
---|---|---|
We show that the polynomial translation of the classical propositional normal modal logic S4 into the intuitionistic propositional logic Int from Fernandez is incorrect. We give a modified translation and prove its correctness, and provide implementations of both translations to allow others to test our results. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1017/jsl.2017.66 | JOURNAL OF SYMBOLIC LOGIC |
Keywords | Field | DocType |
intuitionistic logic,modal logic,polynomial translations | Intuitionistic logic,Discrete mathematics,Polynomial,Mathematics | Journal |
Volume | Issue | ISSN |
84 | 2 | 0022-4812 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rajeev Gore | 1 | 56 | 4.06 |
Jimmy Thomson | 2 | 15 | 2.27 |