semantics 5 семантика logic 4 logical consequence 4 логіка 4 логічний наслідок 4 UDC 004.42:510.69 3 predicate 3 УДК 004.42:510.69 3 логика 3 логическое следствие 3 предикат 3 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