Proponents note the connection to classical logic; critics note that such semantics never really describe what a system does (merely what is true before and afterwards).
Kritikai pažymi, kad tokia semantika niekada tikrai neapibūdina to, ką sistema daro (tiktai kas yra tiesa prieš ir po to).