The \(\Omega\)-system and the \(L\)-system of modal logic

DOI10.1305/ndjfl/1093882814zbMath0394.03031OpenAlexW2035230186MaRDI QIDQ1252232

Jean Porte

Publication date: 1979

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

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

zbMATH Keywords

NecessityModal LogicPropositional Calculus

Mathematics Subject Classification ID

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

Related Items

European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979 ⋮ Non-classical operations hidden in classical logic