Modal logic as metalogic
scientific article; zbMATH DE number 501107
scientific article