1. Множество всех теорем логических высказываний.
2. Схема аксиом дистрибутивности (K - схема).
- L
K: L(p 
q) (Lp Lq)
Если необходимо, что p влечёт q, то необходимость p влечёт необходимость q.
3. Modus Ponnens
p: p q
q
4. Модальное правило необходимости.
p
Lp
- L необходимость
- M (Mp 
L p) возможность
5. Схема аксиомы знаний.
“То что известно, то верно”.
T: Lp p
6. Схема аксиом позитивной интроспекции.
4: Lp LLp
Если я знаю p, то я знаю, что я знаю p.
7. Схема аксиом негативной интроспекции.
5: Mp LMp
Если я известно, что p, то известно, что известно, что p.
(Побуждает субъекта обучаться).
Логика KT4 (S4), Логика KT45 (S5) – для моделирования сомнений, рассуждений.
