The connective of necessity of modal logic \(S_ 5\) is metalogical

DOI10.1305/NDJFL/1093870385zbMath0561.03008OpenAlexW2016567005MaRDI QIDQ2266004

Zdzisław Dywan

Publication date: 1983

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

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

zbMATH Keywords

infinitary S5propositional modal logic S5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: The connective of necessity of modal logic \(S_ 5\) is metalogical