Абсолютными понятиями теории логических модальностей считаются «логически необходимо», «логически возможно», «логически невозможно», которым в качестве сравнительного модального понятия рассматривается понятие «…логически следует…». Высказывание «логически необходимо высказывание А» присваивает высказыванию А свойство быть логически необходимым. С помощью выражения «из высказывания А логически следует высказывание В» устанавливается некоторое отношение между высказываниями А и В.