69) Композиційно-номінативні модльної логіки. Транзиційні кнмл

В межах ММЛ виділяються загальні транзиційні та епістемічні КНМЛ.

Для транзиційних модальних систем (ТМС)

R  складається із відношень переходу вигляду R  S  S

. Під композиційно-номінативною модальною системою в загальному випадку розуміємо об'єкт вигляду _= (Cms, Ds, Dns).

1) Cms=(D, R, Pr, C) – композиційна модальна система, яка задає семантичні аспекти світу.

Множину D трактуємо як множину станів світу.

Множина R – це множина відношень на станах світу вигляду RDDⁿ.

Множина Pr – це множина предикатів вигляду  D{T, F}.

Множина C – це множина композицій на Pr.

2) Ds – дескриптивна система КНМС; вона визначає множину стандартних дескрипцій – формул мови модальної логіки.

3) Dns – денотаційна система КНМС; вона визначає значення кожної стандартної дескрипції.

70) Загальні, мультизагальні ТНЛ. Темпоральн КНМЛ

КНМЛ синтезують можливості традиційних модальних логік і КНЛ часткових квазіарних предикатів

Важливим класом КНМЛ є транзиційні КНМЛ (ТМЛ).

Окремими випадками ТМЛ є мультимодальні та темпоральні КНМЛ