|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Современная модальная логика: между математикой и информатикойстатья
- Авторы: Шапировский И.Б., Шехтман В.Б.
- Сборник: Современная логика: основания, предмет и перспективы развития
- Редактор: Зайцев Дмитрий Владимирович
- Год издания: 2018
- Место издания: ИД "Форум" Москва
- Первая страница: 265
- Последняя страница: 305
- Аннотация: Модальная логика возникла в древности для формализации понятий возможного и необходимого. Современная модальная логика стала одним из инструментов решения задач информатики - как теоретических, так и вполне прикладных. Произошёл достаточно неожиданный переход из области абстрактных философских категорий в актуальную и практически значимую современную дисциплину. Он был обусловлен тем, что модальная логика (как и логика в целом) приобрела развитый математический аппарат - алгебраический, топологический, теоретико-модельный. В настоящей заметке мы хотим, избегая сложных технических деталей, познакомить читателя с некоторыми базовыми математическими понятиями модальной логики.
- Добавил в систему: Шехтман Валентин Борисович