Финитная аппроксимируемость нормальных модальных логик и константные формулы: пример

Рассматривается класс пропозициональных нормальных модальных логик. Двумя основными понятиями, относящимися к этому классу и исследуемыми в статье, являются финитная аппроксимируемость и константные формулы. Пропозициональная нормальная модальная логика называется финитно аппроксимируемой, если ее м... View More