A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems
scientific article; zbMATH DE number 3463608