Нормальная модальная логика

Нормальная модальная логика — множество формул L, содержащее:

• Все пропозициональные тавтологии;
• $◻(A\to B)\to (◻A\to ◻B)$;
• $\mathrm{♢}A=\mathrm{\neg }◻\mathrm{\neg }A$.

и замкнутое относительно правил:

• modus ponens: $A\to B,A\in L$ следует из правила $B\in L$;
• подстановки;
• обобщения: $A\in L$ следует из правила $◻A\in L$.Шаблон:Уточнить

Наиболее компактную логику, удовлетворяющую указанным условиям, называют K. Большинство широко используемых в настоящее время модальных логик, имеющих значение для философии, например, S4 и S5 — К. И. Льюиса, являются нормальными и, следовательно, являются расширениями K. Однако ряд деонтических и эпистемических логик, например, являются ненормальными, часто потому, что в них отсутствует схема Крипке.

Каждая нормальная модальная логика является регулярной и, следовательно, классической.

Общие нормальные модальные логики

В следующей таблице перечислены несколько наиболее распространённых нормальных модальных систем. Условные обозначения относятся к таблице семантика Крипке § Общие схемы модальных аксиом. Условия фреймов для некоторых систем были упрощены: логики являются обоснованными и полными, относительно классов фреймов, указанных в таблице, но также могут соответствовать и более обширному классу фреймов.

Имя	Аксиомы	Состояние фрейма
K	—	все фреймы
T	T	возвратный
K4	4	переходный
S4	T, 4	предпорядок
S5	T, 5 или D, B, 4	отношение эквивалентности
S4.3	T, 4, H	общий предпорядок (total preorder)
S4.1	T, 4, М	предпорядок,$\mathrm{\forall }w\mathrm{\exists }u(wRu\wedge \mathrm{\forall }v(uRv\Rightarrow u=v))$
S4.2	T, 4, G	направленный предпорядок
GL, K4W	GL или 4, GL	конечный строгий частичный порядок
Grz, S4Grz	Grz или T, 4, Grz	конечный частичный порядок
D	D	серийный (serial)
D45	D, 4, 5	транзитивный, последовательный и евклидовый

Литература

• Kripke, S. A. Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi // Zeitschrift fur mathematische Logik und Grundlagen der Mathematik. 1963. V. 9 N. 5–6. P. 67–96.
• Шаблон:Cite book