ДСМ – метод и модификационные исчисления

Предлагается общее неформальное введение в новый тип исчислений, который позволяет применять как достоверные, так и правдоподобные правила вывода, допускает немонотонность и временную противоречивость. В связи с использованием некоторого известного понятийного аппарата, системы терминов и утверждений потребовалось объяснить, в каком конкретном смысле они применяются в статье.