Некоторые расширения логики Данна-Белнапастатья