Embeddings of classical logic in S4
scientific article; zbMATH DE number 3537645