text: Нормальной модальной логикой называется множество модальных формул, содержащее все классические тавтологии, аксиому нормальности ◻ ( p → q ) → ( ◻ p → ◻ q ) {\displaystyle \Box (p\to q)\to (\Box p\to \Box q)} и замкнутое относительно правил Modus ponens A , A → B B {\displaystyle {\frac {A,A\to B}{B}}} , подстановки A ( p ) A ( B ) {\displaystyle {\frac {A(p)}{A(B)}}} и введение модальности A ◻ A {\displaystyle {\frac {A}{\Box A}}} .