Embeddings of classical logic in S4. II

DOI10.1007/BF02282488zbMath0359.02013MaRDI QIDQ1238798

Johannes Czermak

Publication date: 1976

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10)

Related Items (1)

An intriguing logic with two implicational connectives

Cites Work

• Unnamed Item
• Embeddings of classical logic in S4
• Modal Logics Between S 4 and S 5
• An embedding of classical logic in S4

This page was built for publication: Embeddings of classical logic in S4. II