Completeness of sequent calculi for modal logics of non-monotone partial predicates / Shkilniak, O. S., Kasianiuk, V. S., Maliutenko, L. M. (2016)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000765482
  Artificial intelligence  Б - 2021  /     Issue (2016, № 3)

Шкільняк О. С., Касьянюк В. С., Малютенко Л. М.
Повнота секвенційних числень модальних логік немонотонних часткових предикатів

Бібліографічний опис:
Шкільняк О. С., Касьянюк В. С., Малютенко Л. М. Повнота секвенційних числень модальних логік немонотонних часткових предикатів. Штучний інтелект. 2016. № 3. С. 92-102. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000765482

English  Artificial intelligence   /     Issue (2016, 3)

Shkilniak O. S., Kasianiuk V. S., Maliutenko L. M.
Completeness of sequent calculi for modal logics of non-monotone partial predicates

Cite:
Shkilniak, O. S., Kasianiuk, V. S., Maliutenko, L. M. (2016). Completeness of sequent calculi for modal logics of non-monotone partial predicates. Artificial intelligence, 3, 92-102. http://jnas.nbuv.gov.ua/article/UJRN-0000765482 [In Ukrainian].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209