MTEP paslaugų katalogas MTEP paslaugų katalogas

Spartus informacinių technologijų augimas, prasidėjęs praeito šimtmečio pabaigoje, iškėlė naujus sudėtingus uždavinius, kurių sprendimui klasikinės matematinės logikos priemonių nepakanka. Greta su nagrinėjamomis tradicinėmis neklasikinėmis logikomis (intuicionistine, modalumo ir kt.) buvo sukurtos ir pradėtos nagrinėti bei taikyti įvairios naujos neklasikinės logikos (dinaminė, žinių, kompiuterinių agentų ir kt.). Pagrindinė Matematinės logikos sektoriuje vykdomų mokslinių tyrimų tematika  apima  neklasikines logikas (modalumo, laiko, dinaminė, žinių ir kt., o taip pat įvairūs šių logikų apjungimai bei modifikacijos). Ypač svarbios yra žinių logikos. Modalinės ir multimodalinės logikos taikomos kompiuterinių agentų žinioms ir veikimui aprašyti. Žinojimas ir žinojimo sąveika yra centriniai elementai žiniomis pagrįstoje ekonomikos teorijoje ir praktikoje. Tematika, apimanti neklasikines logikas ir įrodymo teorijos klausimus nagrinėjamose logikose (įskaitant dedukcinių sistemų konstravimą) yra perspektyvi.