Обычная модальная логика

• Определение обычной модальной логики

  • Обычная модальная логика включает все пропозициональные тавтологии и схемы Крипке. 
  • Закрыта под правилами отстраненности и необходимости. 

• Нормальные модальные логики

  • K — наименьшая логика, удовлетворяющая условиям. 
  • C.J.S4 и S5 Льюиса являются нормальными и продолжениями K. 
  • Некоторые деонтические и эпистемологические логики могут быть ненормальными, исключая схему Крипке. 

• Примеры обычных модальных систем

  • В таблице перечислены распространенные системы с упрощенными условиями использования фреймов. 

• Рекомендации

  • Ссылки на книги Александра Чагрова и Михаила Захарьящева, а также на Оксфордские руководства по логике. 
  • Статья является заглушкой и призывает к расширению Википедии.