The deduction theorem in S4, S4.2, and S5

DOI10.1305/ndjfl/1093956245zbMath0189.28201OpenAlexW1996286590MaRDI QIDQ2537604

J. Jay Zeman

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

zbMATH Keywords

general logic

Related Items (2)

Does the deduction theorem fail for modal logic? ⋮ Variations on Jaśkowski’s Discursive Logic

This page was built for publication: The deduction theorem in S4, S4.2, and S5