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