A CORRECT POLYNOMIAL TRANSLATION of S4 into INTUITIONISTIC LOGIC

Rajeev Goré; Jimmy Thomson

doi:10.1017/jsl.2017.66

A CORRECT POLYNOMIAL TRANSLATION of S4 into INTUITIONISTIC LOGIC

Rajeev Goré, Jimmy Thomson

Research output: Contribution to journal › Article › peer-review

3 Citations (Scopus)

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.

Original language	English
Pages (from-to)	439-451
Number of pages	13
Journal	Journal of Symbolic Logic
Volume	84
Issue number	2
DOIs	https://doi.org/10.1017/jsl.2017.66
Publication status	Published - 1 Jun 2019
Externally published	Yes

Access to Document

10.1017/jsl.2017.66

Cite this

@article{d82df8a1d67046378ac6c096d1af2bc8,

title = "A CORRECT POLYNOMIAL TRANSLATION of S4 into INTUITIONISTIC LOGIC",

abstract = "We show that the polynomial translation of the classical propositional normal modal logic S4 into the intuitionistic propositional logic Int from Fern{\'a}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.",

keywords = "intuitionistic logic, modal logic, polynomial translations",

author = "Rajeev Gor{\'e} and Jimmy Thomson",

note = "Publisher Copyright: Copyright {\textcopyright} The Association for Symbolic Logic 2019.",

year = "2019",

month = jun,

day = "1",

doi = "10.1017/jsl.2017.66",

language = "English",

volume = "84",

pages = "439--451",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - A CORRECT POLYNOMIAL TRANSLATION of S4 into INTUITIONISTIC LOGIC

AU - Goré, Rajeev

AU - Thomson, Jimmy

PY - 2019/6/1

Y1 - 2019/6/1

N2 - 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.

AB - 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.

KW - intuitionistic logic

KW - modal logic

KW - polynomial translations

UR - https://www.scopus.com/pages/publications/85067103671

U2 - 10.1017/jsl.2017.66

DO - 10.1017/jsl.2017.66

M3 - Article

SN - 0022-4812

VL - 84

SP - 439

EP - 451

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 2

ER -

A CORRECT POLYNOMIAL TRANSLATION of S4 into INTUITIONISTIC LOGIC

Abstract

Access to Document

Other files and links

Fingerprint

Cite this