Кардинальное число
символ, обозначающий мощность множества; в случае конечного множества натуральное число: число элементов в множестве
Модальная логика
Предмет
Высшая математика
👍 Проверено
Автор24
раздел логики, в котором наряду с обычными высказываниями рассматриваются высказывания типа «возможно, что . . .», «необходимо, чтобы . . .» и т.п.
Научные статьи на тему «Модальная логика»
Модальная логика
История модальной логики
Определение 1
Модальная логика – это раздел формальной логики, занимающийся...
Ученик Аристотеля Теофраст сделал следующий шаг в развитии модальной логики....
Аксиоматическую точность модальной логике придал К. И. Льюис в первой половине XX века....
Современное содержание модальной логики
Логическую теорию признают модальной при выполнении следующих...
логика вообще не требует задания модальности «возможно»).
Статья от экспертов
О модальных логиках с экзистенциальной модальностью
In this paper we present Hilbert-style axiomatization of polymodal logic K# with "existential" modality, that is modality that allows us to say that a formula is true in a world accessible by some accessibility relation, and prove its completeness. We also prove completeness for the extension of K# obtained by augmenting it the axiom of determinism.
Creative Commons
Научный журнал
Логики с модально-временными операторами
Общая характеристика логик с модально-временными операторами
Определение 1
Логики с модально-временными...
операторами – это класс логик, которые объединяют в себе операторы модальной и темпоральной логики,...
В области математической логики модальные и временные операторы используются для выражения утверждений...
, внутри модальной логики....
Приложения модальных и временных логических языков
Среди приложений модальных и временных логик можно
Статья от экспертов
О логиках эмпирических модальностей
В статье рассматривается класс ERA-логик с эмпирическими модальностями □ (необходимость) и 0 (возможность), которые характеризуют, соответственно, высказывания, представляющие эмпирические законы и эмпирические тенденции, т. е. эмпирические закономерности. Эмпирические закономерности являются результатом ДСМ-рассуждений, которые образованы взаимодействием правил индуктивного вывода и правил вывода по аналогии, а также процедурами абдуктивного принятия гипотез. Рассматриваемые ERA-логики являются пропозициональной имитацией ДСМрассуждений, применимых к последовательностям расширяемых баз фактов интеллектуальных систем. Характерной особенностью ERA-логик является применение двух концепций истины когерентной и корреспондентной. Применение когерентной концепции истины обусловлено порождением гипотез посредством правил индуктивного вывода и вывода по аналогии. Применение же корреспондентной концепции истины обусловлено применением абдуктивного вывода, принятие результатов которого исполь...
Creative Commons
Научный журнал
Еще термины по предмету «Высшая математика»
Простая цепь
цепь, не содержащая цикла (т. е. все ее вершины различны)
Функция Лапласа
интеграл вероятностей
- Модальность
- Логика
- Глагол модальный (модальной окраски)
- Символическая логика (теоретическая логика)
- Модальная длина
- Модальная массодлина
- Древостой модальный
- Насаждение модальное
- Ауральная модальность
- Визуальная модальность
- Модальное окно
- Модальный метод
- Личность модальная
- Модальная личность
- Аксиологическая модальность
- Алетическая модальность
- Деонтическая модальность
- Модальное суждение
- Модальность суждения
- Модальный функтор
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
