On modal logics of partial recursive functions
scientific article; zbMATH DE number 5013028
scientific article