Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems by Давидюк, А. В., Зубок, В. Ю.

Get full text

Logical consequence relations in logics of quasiary predicates by Shkilniak, O.S.

Get full text

Composition-nominative logics of free-quantifier levels by Shkilniak, S.S., Volkovytskyi, D.B.

Get full text

Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Get full text

Logical consequence relations in logics of monotone predicates and logics of antitone predicates by Shkilniak, O.S.

Get full text

Pure first-order quasiary logics with equality predicates by Nikitchenko, M.S., Shkilniak, S.S.

Get full text

First-order composition-nominative logics with predicates of weak equality and of strong equality by Shkilniak, S.S.

Get full text

The description of lists and sets of meta-language of normal forms of knowledge by Kurgaev, A.F.

Get full text

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics by Shkilniak, О.S., Shkilniak, S.S.

Get full text