A new variant of the Gödel-Malcev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic \(S_ 5\) is metalogical

DOI10.1305/NDJFL/1093636768zbMath0636.03006OpenAlexW1987970240MaRDI QIDQ1097869

Publication date: 1986

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636768

zbMATH Keywords

completeness theorem infinitary S5 propositional model logic S5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical propositional logic (03B05)

This page was built for publication: A new variant of the Gödel-Malcev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic \(S_ 5\) is metalogical