Some results on finite axiomatizability in modal logic

DOI10.1305/ndjfl/1093958338zbMath0156.24908OpenAlexW1993080647MaRDI QIDQ2526721

E. J. Lemmon

Publication date: 1965

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

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

zbMATH Keywords

mathematical logic

Related Items (3)

Interconnection of the lattices of extensions of four logics ⋮ On detachment-substitutional formalization in normal modal logics ⋮ Lattice NExtS4 from the Embedding Theorem Viewpoint

This page was built for publication: Some results on finite axiomatizability in modal logic