Se dice que un sistema modal B es una "extensión" de otro sistema modal A, cuando todas las deducciones que se pueden realizar en A se pueden realizar en B.