Hereditary Structural Completeness over K4: Rybakov's Theorem Revisited

Published in Master of Logic Institute of Logic, Language and Computation, 2022