Использование аппарата математической логики и теории алгоритмов для разработки и совершенствования механизмов автоматического и полуавтоматического построения доказательств

Ключевые слова: математическая логика; теория алгоритмов; теория доказательств; модальная логика; логика свидетельств; сложность вычислений; автоматический вывод / mathematical logic; computation theory; proof theory; modal logic; evidence logic; computational complexity; automated deduction