Некоторые виды модальных операторов в логике:

• Случайные. 1 Это единичные высказывания, которые рассматриваются в рамках какого-то уникального, конкретного события. 1
• Возможные (невозможные). 1 Это суждения, описывающие вероятность свершения какого-либо факта в действительности. 1
• Необходимость. 1 Этот модальный оператор указывает на необходимость связи двух явлений. 1
• Эпистемическая модальность. 1 Выражает степень принятия определённого знания субъектом. 1 Операторы эпистемологической модальности — «знать», «верить», «убеждён», «доказано». 1
• Аксиологические. 2 Операторами аксиологических высказываний являются «хорошо», «плохо». 1 С их помощью человек оценивает свои и чужие поступки, определяет стороны добра и зла. 1
• Временные. 2 К ним относятся операторы «всегда будет», «всегда было» и «когда-нибудь будет», «когда-то было». 5