На основі композиційно-номінативного підходу побудовано та досліджено нові класи спеціальних програмно-орієнтованих логічних формалізмів. Запропоновано композиційно-номінативні мультимодальні та епістемічні логіки. Досліджено семантичні властивості композиційно-номінативних логік темпорального. мультимодального та епістемічного типу на реномінативному та першопорядкових рівнях.
On the basis of composition-nominative approach we specify and investigate new classes of special-purpose program-oriented logical formalisms. We introduce composition-nominative multimodal and epistemic logics. Semantic properties of composition-nominative logics of temporal, multimodal and epistemic type at renominative and first-order levels are studied.