En sistemas se define la reflexividad de forma que para cualquier p (en el lenguaje del sistema) existe algún q tal que q≡(Bq→p) es demostrable en el sistema.