Artificial intelligence

Scientific journal

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Search by:

Year of publication
Author name
Paper title

Композиционно-номинативные мультимодальные логики

Shkilniak O.1, Shkilniak S.1
1 Taras Shevchenko National University of Kyiv

Full text (PDF)

UDC: 004.42:510.69
Publication Language: Ukrainian
Stuc. intelekt. 2011; 16(4):126-133

Abstract: New special-purpose classes of program-oriented logics of partial predicates, i.e. compositional nominative multimodal logics, are introduced. For the logics of renominative and quantifier levels, languages are defined and semantic properties are studied. Compositional nominative logics of epistemic type are given within the defined logics.

Keywords:

References:

  1. Andon F.I. Logicheskie modeli intellektual'nyh informacionnyh sistem. K.: Naukova dumka. 1999. 396 s.
  2. Cocchiarella N.B. Modal logic. Oxford University Press. 2008. 267 p.
  3. Handbook of Logic in Computer Science: In 5 vol. Oxford: Clarendon Press. 1994-2000.
  4. Ishmuratov A.T. Vstup do filosofs’koyi lohiky. K.: Abrys. 1997. 350 s.
  5. Nykytchenko N.S. Problemy programmirovania. № 1. 1999. S. 16-31.
  6. Nikitchenko M.S. Matematychna lohika ta teoriya alhorytmiv. K.: VPC Kyyivs'kyj universytet. 2008. 528 s.
  7. Nikitchenko M.S. Problemy programmirovania. № 1-2. 2002. S. 27-33.
  8. Shkil'nyak O.S. Naukovi zapysky NaUKMA. Seriya: Komp’yuterni nauky. T. 86. 2008. S. 25-34.
  9. Shkil'nyak O.S. Problemy programmirovania. № 4. 2009. S. 11-23

View full text (PDF)