Modal logic

Вики

Формула Сальквиста

/

Формула Салквиста Определение и свойства формул Салквиста Формулы Салквиста обладают замечательными свойствами в модальной логике.  Каждая формула Салквиста соответствует классу […]

Вики

Общий кадр

/

Общий каркас Основы модальной логики Модальная логика – это логика, которая включает в себя модальные операторы, такие как необходимость и

Вики

Двумерность

/

Двумерность Основы двумерной семантики Двумерность – это подход к определению смысла и референции слов и предложений.  Теория решает загадку эмпирической

Вики

Мультимодальная логика

/

Многомодальная логика Определение мультимодальной логики Мультимодальная логика включает более одного модального оператора.  Используется в теоретической информатике.  Примеры мультимодальной логики Временная

Вики

Внутренняя алгебра

/

Внутренняя алгебра Основы внутренней алгебры Внутренняя алгебра – это алгебра, в которой каждый элемент имеет обратный, и она удовлетворяет аксиомам

Вики

Модальная алгебра

/

Модальная алгебра Определение модальной алгебры Модальная алгебра – это алгебра с операциями ∧, ∨, −, 0, 1, и ◻.  Булева

Вики

Строгое условное

/

Строгое условие Определение и применение строгого условия Строгое условие – это модальный оператор, эквивалентный материальному условию в классической логике.  Используется

Вики

Логическая возможность

/

Логическая возможность Определение логической возможности Логическая возможность – утверждение, которое не может быть опровергнуто в рамках данной логической системы.  Логическая

Вики

Проблема будущих контингентов

/

Проблема будущих контингентов Парадокс морских сражений Аристотель и Диодор спорят о возможности двух противоположных исходов морского сражения.  Аристотель утверждает, что

Вики

Эпистемическая модальная логика

/

Эпистемологическая модальная логика Основы эпистемологической логики Эпистемологическая логика изучает знания и их логические свойства.  Знание определяется как истинность убеждений в

Вики

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

/

Ненормальная модальная логика Определение и история ненормальной модальной логики Ненормальная модальная логика – это семейство модальных логик, которые не удовлетворяют

Вики

Семантика соседства

/

Семантика соседства Семантика соседства в модальной логике Семантика соседства – это формальная семантика для модальной логики, разработанная Даной Скотт и

Вики

Возможный мир

/

Возможный мир Определение и использование возможных миров Возможные миры – это альтернативные сценарии развития событий, которые могли бы произойти.  Они

Вики

Деонтическая логика

/

Деонтическая логика Основы деонтической логики Деонтическая логика изучает нормы и их применение в рассуждениях.  Нормы могут быть обязательными, разрешенными или

Вики

Гибридная логика

/

Гибридная логика Основы гибридной логики Гибридная логика расширяет пропозициональную модальную логику, сохраняя выразительность и уменьшая вычислительную сложность.  Артур Прайор начал

Вики

S5 (модальная логика)

/

S5 (модальная логика) Определение и история S5 S5 – одна из пяти систем модальной логики, предложенная Льюисом и Лэнгфордом в

Вики

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

/

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

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