![](/user_photo/2706_HbeT2.jpg)
- •39) Модель теорії 1-го порядку. Теорема істинності
- •45) Теорема Гьоделя про повноту, 1-е та 2-е формулювання
- •51) Інтегполяційна теорема
- •52) Семантична і синтаксична визначність, теорема про визначність
- •59) Мова пропозиційної інтуїціоністьскої логіки, інтуїністьскої логіки 1-го порядку
- •60) Модель можливих світів (реляційна модель )інтуїністької логіки
- •I : Pss{t, f}.
- •62) Мова алетичної модальної логіки: визначення формули, реляційна семантика
- •66) Епістемічна логіка знання з о одним експертом. Мова логіки, реляційна семантика
- •69) Композиційно-номінативні модльної логіки. Транзиційні кнмл
69) Композиційно-номінативні модльної логіки. Транзиційні кнмл
В межах ММЛ виділяються загальні транзиційні та епістемічні КНМЛ.
Для транзиційних модальних систем (ТМС)
R складається із відношень переходу вигляду R S S
. Під композиційно-номінативною модальною системою в загальному випадку розуміємо об'єкт вигляду = (Cms, Ds, Dns).
1) Cms=(D, R, Pr, C) – композиційна модальна система, яка задає семантичні аспекти світу.
Множину D трактуємо як множину станів світу.
Множина R – це множина відношень на станах світу вигляду RDDn.
Множина Pr – це множина предикатів вигляду D{T, F}.
Множина C – це множина композицій на Pr.
2) Ds – дескриптивна система КНМС; вона визначає множину стандартних дескрипцій – формул мови модальної логіки.
3) Dns – денотаційна система КНМС; вона визначає значення кожної стандартної дескрипції.
70) Загальні, мультизагальні ТНЛ. Темпоральн КНМЛ
КНМЛ синтезують можливості традиційних модальних логік і КНЛ часткових квазіарних предикатів
Важливим класом КНМЛ є транзиційні КНМЛ (ТМЛ).
Окремими випадками ТМЛ є мультимодальні та темпоральні КНМЛ