Certain extensions of modal system S4
From MaRDI portal
Publication:2537110
DOI10.1305/ndjfl/1093894006zbMath0188.01302OpenAlexW2064946669MaRDI QIDQ2537110
Publication date: 1970
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093894006
Related Items (5)
On superintuitionistic logics as fragments of proof logic extensions ⋮ Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ A second pretabular classical relevance logic ⋮ Modal Logics that Bound the Circumference of Transitive Frames
This page was built for publication: Certain extensions of modal system S4
