модальна логіка modal logic 2 логічний наслідок 2 секвенційне числення 2 UDC 510.64 1 UDC 004.42:510.69 1 logical consequence 1 logical consequence sequent calculus 1 partial predicate 1 predicate 1 sequent calculus 1 УДК 004.42:510.69 1 УДК 510.64 1 логическое следствие 1 модальная логика 1 моделі знань 1 предикат 1 секвенциальное исчисление 1 системи підтримки прийняття рішень 1 частичный предикат 1 частковий предикат 1