Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).
Источник: Википедия
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: плюр — это что-то нейтральное, положительное или отрицательное?
На рубеже 1920-х гг. были построены первые в современной логике модальные логики, рассматривавшие понятия необходимости, возможности, случайности и т. п.
Стремление обогатить язык логики и расширить её возможности привело к возникновению модальной логики.
Это придало модальной логике новое дыхание и поставило её в центр современных логических исследований.