semantics семантика 4 logic 3 logical consequence 3 логіка 3 логічний наслідок 3 UDC 004.42:510.69 2 predicate 2 УДК 004.42:510.69 2 логика 2 логическое следствие 2 предикат 2 UDC 004.02+004.05+005.93+ 510.3 1 UDC 004.42:510.64 1 anomaly 1 application problem 1 attack 1 distributed system 1 information 1 model 1 partial predicate 1 security 1 sequent calculus 1 УДК 004.02+004.05+005.93+ 510.3 1 УДК 004.42:510.64 1 аномалія 1 атака 1 безпека 1 модель 1 прикладна задача 1