The deduction theorem in S4, S4.2, and S5
From MaRDI portal
Publication:2537604
DOI10.1305/ndjfl/1093956245zbMath0189.28201OpenAlexW1996286590MaRDI QIDQ2537604
Publication date: 1967
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093956245
Related Items (2)
This page was built for publication: The deduction theorem in S4, S4.2, and S5