Embeddings of classical logic in S4
type: Item
instance of: scholarly article
title: Embeddings of classical logic in S4
zbMATH Open document ID: 0345.02014
DOI: 10.1007/BF02314426
published in: Studia Logica
publication date: 1975-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B05
zbMATH DE Number: 3537645
author: Johannes Czermak
MaRDI profile type: Publication
cites work: An embedding of classical logic in S4
cites work: Model existence theorems for modal and intuitionistic logics
cites work: Q5604443
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: Q3261411
cites work: Q5538910
cites work: Q5668435
full work available at URL: https://doi.org/10.1007/bf02314426
OpenAlex ID: W2000683184
description: scientific article; zbMATH DE number 3537645