Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
scientific article; zbMATH DE number 5869144
scientific article