Вивчаються семантичні властивості та відношення логічного наслідку для множин формул неокласичних логік реномінативного та квантового рівнів. Для таких логік пропонуються відповідні неокласичні секвенційні числення, на їх основі доводяться теореми коректності та повноти.