• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Современная модальная логика: между математикой и информатикой

С. 265-305.
Шехтман В. Б., Шапировский И.

Модальная логика возникла в древности для формализации понятий возможного и необходимого.
Современная модальная логика стала одним из инструментов решения задач информатики ---
как теоретических, так и вполне прикладных.
Произошёл достаточно неожиданный переход из области  абстрактных философских
категорий в актуальную и практически значимую современную дисциплину. Он был обусловлен тем, что модальная логика (как и логика в целом) приобрела развитый математический аппарат --- алгебраический, топологический, теоретико-модельный. В настоящей заметке мы хотим, избегая сложных технических деталей, познакомить читателя с некоторыми базовыми математическими понятиями
модальной логики.