Composition nominative modal logics of partial non-monotone predicates and their calculi / Shkilniak, O. S., Kasianiuk, V. S., Maliutenko, L. M. (2017)
Ukrainian

English  Problems in programming   /     Issue (2017, 2)

Shkilniak O. S., Kasianiuk V. S., Maliutenko L. M.
Composition nominative modal logics of partial non-monotone predicates and their calculi


Cite:
Shkilniak, O. S., Kasianiuk, V. S., Maliutenko, L. M. (2017). Composition nominative modal logics of partial non-monotone predicates and their calculi. Problems in programming, 2, 24-39. http://jnas.nbuv.gov.ua/article/UJRN-0000724013 [In Ukrainian].

 

Institute of Information Technologies of VNLU


+38 (044) 525-36-24
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209