Унификация в нетранзитивной временной логике знания с универсальной модальностью многомодальной логики знания и нетранзитивного времени с универсальной модальностью ULITK, доказаны
финитная Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" свойств рефлексивной нетранзитивной логики Lr
(разрешимость,
финитная аппроксимируемость) исследуются
Табличность, финитная апроксимируемость, ... математические аспектыТабличность,
финитная апроксимируемость, ... математические аспекты