A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC
type: Item
instance of: scholarly article
title: A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC
zbMATH Open document ID: 1457.03041
author: Rajeev Goré
author: Jimmy Thomson
publication date: 2020-04-06T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 7186292
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: modal logic
zbMATH Keywords: polynomial translations
zbMATH Keywords: Kripke model
MaRDI profile type: Publication
OpenAlex ID: W2951297772
cites work: A polynomial translation of S4 into intuitionistic logic
cites work: Q3720554
Wikidata QID: Q127732555
DOI: 10.1017/JSL.2017.66
published in: Journal of Symbolic Logic
description: scientific article; zbMATH DE number 7186292