Lemmon-style bases for the systems S1°-S4°

DOI10.2307/2270332zbMath0169.00601OpenAlexW1487258278MaRDI QIDQ5555677

J. Jay Zeman

Publication date: 1968

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270332

zbMATH Keywords

general logic

Related Items (1)

Decision procedures for S3∘ and S4∘

Cites Work

• A contribution to the axiomatization of Lewis' system S5
• Decision procedures for \(S2^ 0\) and \(T^ 0\)

This page was built for publication: Lemmon-style bases for the systems S1°-S4°