раздел логики, в котором наряду с обычными высказываниями рассматриваются высказывания типа «возможно, что . . .», «необходимо, чтобы . . .» и т.п.
История модальной логики
Определение 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.
Общая характеристика логик с модально-временными операторами
Определение 1
Логики с модально-временными...
операторами – это класс логик, которые объединяют в себе операторы модальной и темпоральной логики,...
В области математической логики модальные и временные операторы используются для выражения утверждений...
, внутри модальной логики....
Приложения модальных и временных логических языков
Среди приложений модальных и временных логик можно
В статье рассматривается класс ERA-логик с эмпирическими модальностями □ (необходимость) и 0 (возможность), которые характеризуют, соответственно, высказывания, представляющие эмпирические законы и эмпирические тенденции, т. е. эмпирические закономерности. Эмпирические закономерности являются результатом ДСМ-рассуждений, которые образованы взаимодействием правил индуктивного вывода и правил вывода по аналогии, а также процедурами абдуктивного принятия гипотез. Рассматриваемые ERA-логики являются пропозициональной имитацией ДСМрассуждений, применимых к последовательностям расширяемых баз фактов интеллектуальных систем. Характерной особенностью ERA-логик является применение двух концепций истины когерентной и корреспондентной. Применение когерентной концепции истины обусловлено порождением гипотез посредством правил индуктивного вывода и вывода по аналогии. Применение же корреспондентной концепции истины обусловлено применением абдуктивного вывода, принятие результатов которого исполь...
преобразование плоскости (пространства), переводящее каждую точку P в такую точку P′, лежащую на луче OP , что OP̅ · OP̅′ = c, где O — фиксированная точка (центр, или полюс инверсии) и c ≠ 0 — постоянная (коэффициент, или степень инверсии)
точка x0 такая, что f(x0) = 0; можно трактовать как решение уравнения f(x) = 0
угол, образованный лучом, вращающимся по часовой стрелке
Возможность создать свои термины в разработке
Еще чуть-чуть и ты сможешь писать определения на платформе Автор24. Укажи почту и мы пришлем уведомление с обновлением ☺️
Включи камеру на своем телефоне и наведи на Qr-код.
Кампус Хаб бот откроется на устройстве
