Los equipos AVR compatibles con 4K te van a funcionar sin problema con 1080p, claro.
Las entradas HDMI tienen etiquetas normalmente por comodidad ya que en el mando a distancia aparecen las mismas. Sin embargo, con los menús puedes cambiar el comportamiento de cada entrada sin mayor inconveniente.
Yo estoy contento con el Marantz NR1602 (es de esos pequeñitos, tiene sus años ya). Lo mejor es mirar reviews de modelos concretos, aunque esas marcas son prácticamente las habituales.