Нормальная модальная логика

От / / Оставьте комментарий

Оглавление1 Обычная модальная логика1.1 Определение обычной модальной логики1.2 Нормальные модальные логики1.3 Примеры обычных модальных систем1.4 Рекомендации1.5 Полный текст статьи:2 Нормальная […]

Logic stubs, Modal logic, Логические заглушки, Модальная логика

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

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

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

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

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

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

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

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

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

Полный текст статьи:

Нормальная модальная логика

Похожие статьи:

  1. Нормальная школа Оглавление1 Обычная школа1.1 История и цели обычных школ1.2 Первые обычные школы1.3 Развитие и преобразование1.4 Современные тенденции1.5...
  2. Семантика Крипке Оглавление1 Семантика Крипке1.1 Основы семантики Крипке1.2 Примеры и приложения1.3 Полимодальная логика и логика Крипке1.4 Интуиционистская логика...
  3. Ненормальная модальная логика Оглавление1 Ненормальная модальная логика1.1 Определение и история ненормальной модальной логики1.2 Синтаксис и семантика1.3 Защитные системы и...
  4. Нормальная модальная логика Оглавление1 Обычная модальная логика1.1 Определение обычной модальной логики1.2 Нормальные модальные логики1.3 Примеры обычных модальных систем1.4 Рекомендации2...
  5. Модальная алгебра Оглавление1 Модальная алгебра1.1 Определение модальной алгебры1.2 Семантика модальной логики1.3 Теорема Стоуна и двойственность Йонссона-Тарского1.4 Алгебра Магари1.5...
  6. Саул Крипке Оглавление1 Сол Крипке1.1 Основы семантики Крипке1.2 Примеры и свойства1.3 Семантика для различных модальностей1.4 Интуиционистская логика2 Саул...
  7. Модальный компаньон Оглавление1 Модальный компаньон1.1 Основы модальных компаньонов1.2 Семантическое описание модальных компаньонов1.3 Сохранение свойств логик1.4 Применение перевода Геделя2...
  8. S5 (модальная логика) Оглавление1 S5 (модальная логика)1.1 Определение и история S51.2 Аксиомы S51.3 Семантика Крипке1.4 Приложения S51.5 Мультимодальная логика1.6...
  9. Общий кадр Оглавление1 Общий каркас1.1 Основы модальной логики1.2 Семантика модальных операторов1.3 Двойственность Йонссона-Тарского1.4 Интуитивистские рамки1.5 Полный текст статьи:2...
  10. Модальная логика Модальная логика Модальная логика изучает отношения между возможными мирами и предложениями.  Логика S5 является одной из...
  11. Динамическая логика (модальная логика) Оглавление1 Динамическая логика (модальная логика)1.1 Основы динамической логики1.2 Принципы и аксиомы1.3 Правила вывода1.4 Примеры и подтексты1.5...
  12. Семантика Крипке Семантика Крипке Семантика Крипке представляет собой формализм для изучения модальных логик.  Крипке предложил использовать фреймы для...
  13. Динамическая логика (модальная логика) Оглавление1 Динамическая логика (модальная логика)1.1 Основы динамической логики1.2 Принципы и аксиомы1.3 Примеры и выводы1.4 Полный текст...
  14. Английские модальные вспомогательные глаголы Английские модальные вспомогательные глаголы Английские модальные вспомогательные глаголы выражают модальности (возможность, обязательство).  Центральные модальные глаголы: can...
  15. Эпистемическая модальная логика Оглавление1 Эпистемологическая модальная логика1.1 Основы эпистемологической логики1.2 Аксиомы и модальные операторы1.3 Примеры и свойства1.4 Мультиагентные системы...
  16. Промежуточная логика Оглавление1 Промежуточная логика1.1 Определение и классификация логических систем1.2 Примеры логических систем1.3 Логика и математика1.4 Семантика и...
  17. Философская логика Философская логика Модальная логика – раздел логики, изучающий модальные операторы и их использование в рассуждениях.  Модальные...
  18. Обычная категория Оглавление1 Обычная категория1.1 Определение и свойства обычных категорий1.2 Примеры и исключения1.3 Факторизация в регулярных категориях1.4 Точные...
  19. Об интерпретации Оглавление1 О толковании1.1 Обзор “Об интерпретации” Аристотеля1.2 Глава 1: Определение и классификация терминов1.3 Глава 2: Противоречия...
  20. Временная логика Временная логика Временная логика – раздел логики, изучающий время и его отношения с истинностью.  Временная логика...
  21. Эпистемическая модальная логика Эпистемологическая модальная логика Эпистемологическая логика изучает знание и его свойства.  Знание определяется как истинность убеждений субъекта. ...
  22. Модальность (лингвистика) Оглавление1 Модальность (лингвистика)1.1 Определение и классификация модальности1.2 Примеры модальных выражений1.3 Формальная семантика и модальность1.4 Грамматическое выражение...

Оставьте комментарий

Прокрутить вверх