In any consideration of the use of logic to model law it needs to be borne in mind that law is inherently non-monotonic, as is shown by the rights of appeal enshrined in all legal systems, and the way in which interpretations of the law change over time.
При любом рассмотрении использования логики для моделирования закона необходимо учитывать, что закон по своей сути является немонотонным, о чём свидетельствует право на апелляцию, закреплённое во всех правовых системах, и ситуации, когда толкование закона меняется со временем.