An embedding of classical logic in S4

DOI10.2307/2271439zbMath0219.02011OpenAlexW2087811213MaRDI QIDQ5623657

Melvin Fitting

Publication date: 1971

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271439

Mathematics Subject Classification ID

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

Related Items (4)

An intriguing logic with two implicational connectives ⋮ A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC ⋮ Embeddings of classical logic in S4 ⋮ Embeddings of classical logic in S4. II

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: An embedding of classical logic in S4