Para ello se amplia la lógica de primer orden introduciendo un operador modal M (es modal ya que indica una modalidad de verdad), y se establece un mecanismo de mantenimiento de coherencia –generalmente traducido como mantenimiento de verdad ("truth maintenance")- que permite eliminar el supuesto en cuanto se presente un hecho que lo invalide.