Correspondence between Kripke frames and projective geometries
scientific article; zbMATH DE number 6855871
scientific article