Disertacijoje nagrinėjamos žinių logikos su centrinio agento sąveikos aksioma. Tyrimas apima multimodalines logikas Kn, Tn, K4n ir S4n. Disertacijos tikslas – baigtinės išvedimo paieškos sekvenciniai skaičiavimai minėtoms logikoms. Darbe pristatomas naujas išvedimo paieškos baigtinumą užtikrinantis metodas, kuris yra pritaikomas minėtoms logikoms, o taip pat monomodalinėms logikoms K4 ir S4. / In the dissertation epistemic logics with central agent interaction axiom are analysed. The research covers multimodal logics Kn, Tn, K4n and S4n. The aim of the work is finite derivation search sequent calculi for the mentioned logics. A new method to obtain the termination of derivation search is presented in the thesis and this method is applied to the mentioned logics as well as to monomodal logics K4 and S4.

In the dissertation epistemic logics with central agent interaction axiom are analysed. The research covers multimodal logics Kn, Tn, K4n and S4n. The aim of the work is finite derivation search sequent calculi for the mentioned logics. A new method to obtain the termination of derivation search is presented in the thesis and this method is applied to the mentioned logics as well as to monomodal logics K4 and S4. / Disertacijoje nagrinėjamos žinių logikos su centrinio agento sąveikos aksioma. Tyrimas apima multimodalines logikas Kn, Tn, K4n ir S4n. Disertacijos tikslas – baigtinės išvedimo paieškos sekvenciniai skaičiavimai minėtoms logikoms. Darbe pristatomas naujas išvedimo paieškos baigtinumą užtikrinantis metodas, kuris yra pritaikomas minėtoms logikoms, o taip pat monomodalinėms logikoms K4 ir S4.

The encounter with death and death anxiety are quite popular themes, which have been researched in the science of psychology for a long time. On the other hand, the research is criticized for frequent simplification of this phenomenon, lack of deeper analysis and understanding, while the concepts are not always used in an accurate manner. After operationalizing the definition of death anxiety, the concept of finality of life is used in research, which is grounded on unique philosophical position and enables to explore the interested phenomenon in a new way, as well as to look at its experiences in a different manner. The method of grounded theory (GT) was selected for research, which allows exploring the interested phenomenon in a comprehensive manner, identifying its essential points and features, and presenting a theoretical model that explains it. 17 healthy subjects of both genders of 22 – 45 year old and four additional subjects, who expanded the research field, participated in research. 2 in-depth interviews were conducted with each of them, they wrote a diary on the researched theme. The collected data were analyzed, according to the principles of classic GT, and the central component of theory – the core category – striving to live more valuably – was distinguished. It is revealed how this theory solves and explains the main concern – inevitability of death. Substantive categories were also revealed, for example: negotiating reality of life and negotiating changes in... [to full text] / Sandūra su mirtimi bei mirties nerimas psichologijos moksle yra pakankamai populiarios ir seniai tyrinėjamos temos. Kita vertus, tyrinėjimai susilaukia kritikos dėl to, kad dažnai šį reiškinį supaprastina, tyrimams trūksta gilesnės analizės bei supratimo, o sąvokos ne visuomet tiksliai vartojamos. Operacionalizavus mirties nerimo apibrėžimą, šiame tyrime naudojamas gyvenimo baigtinumo terminas, kuris grindžiamas savita filosofine pozicija ir leidžia naujai įvertinti dominantį fenomeną bei kitu kampu pažvelgti į jo patyrimą. Tyrinėjimui pasirinktas grindžiamosios teorijos (GT) metodas, kuris leidžia įvairiapusiškai ištirti dominantį reiškinį, išskirti jo esmines vietas ir savybes bei pateikti jį aiškinantį teorinį konstruktą. Tyrime dalyvavo 17 jaunų ir sveikų 22-45 metų abiejų lyčių tiriamųjų bei keturi papildomi tiriamieji, kurie praplėtė tyrimo lauką. Su kiekvienu jų buvo atlikti 2 giluminiai interviu, jie rašė dienoraštį tyrinėjama tema. Surinkti duomenys buvo analizuojamai pagal klasikinės GT principus ir išskirtas centrinis teorijos komponentas - esminė kategorija – siekis gyventi vertingiau. Atskleidžiama, kiek ši sukurta teorija išsprendžia ir paaiškina pagrindinį rūpestį - mirties neišvengiamumą. Atskleistos ir papildomos kategorijos, kaip: derėjimasis su mirties realybe ir derėjimasis su gyvenimo pokyčiais. Sukurta teorija, pristatoma tiek naratyvų, tiek grafinio paveikslėlio pavidalu, suteikia galimybę geriau suprasti, ką išgyvena jauni suaugusieji, patirdami... [toliau žr. visą tekstą]

Sandūra su mirtimi bei mirties nerimas psichologijos moksle yra pakankamai populiarios ir seniai tyrinėjamos temos. Kita vertus, tyrinėjimai susilaukia kritikos dėl to, kad dažnai šį reiškinį supaprastina, tyrimams trūksta gilesnės analizės bei supratimo, o sąvokos ne visuomet tiksliai vartojamos. Operacionalizavus mirties nerimo apibrėžimą, šiame tyrime naudojamas gyvenimo baigtinumo terminas, kuris grindžiamas savita filosofine pozicija ir leidžia naujai įvertinti dominantį fenomeną bei kitu kampu pažvelgti į jo patyrimą. Tyrinėjimui pasirinktas grindžiamosios teorijos (GT) metodas, kuris leidžia įvairiapusiškai ištirti dominantį reiškinį, išskirti jo esmines vietas ir savybes bei pateikti jį aiškinantį teorinį konstruktą. Tyrime dalyvavo 17 jaunų ir sveikų 22-45 metų abiejų lyčių tiriamųjų bei keturi papildomi tiriamieji, kurie praplėtė tyrimo lauką. Su kiekvienu jų buvo atlikti 2 giluminiai interviu, jie rašė dienoraštį tyrinėjama tema. Surinkti duomenys buvo analizuojamai pagal klasikinės GT principus ir išskirtas centrinis teorijos komponentas - esminė kategorija – siekis gyventi vertingiau. Atskleidžiama, kiek ši sukurta teorija išsprendžia ir paaiškina pagrindinį rūpestį - mirties neišvengiamumą. Atskleistos ir papildomos kategorijos, kaip: derėjimasis su mirties realybe ir derėjimasis su gyvenimo pokyčiais. Sukurta teorija, pristatoma tiek naratyvų, tiek grafinio paveikslėlio pavidalu, suteikia galimybę geriau suprasti, ką išgyvena jauni suaugusieji, patirdami... [toliau žr. visą tekstą] / The encounter with death and death anxiety are quite popular themes, which have been researched in the science of psychology for a long time. On the other hand, the research is criticized for frequent simplification of this phenomenon, lack of deeper analysis and understanding, while the concepts are not always used in an accurate manner. After operationalizing the definition of death anxiety, the concept of finality of life is used in research, which is grounded on unique philosophical position and enables to explore the interested phenomenon in a new way, as well as to look at its experiences in a different manner. The method of grounded theory (GT) was selected for research, which allows exploring the interested phenomenon in a comprehensive manner, identifying its essential points and features, and presenting a theoretical model that explains it. 17 healthy subjects of both genders of 22 – 45 year old and four additional subjects, who expanded the research field, participated in research. 2 in-depth interviews were conducted with each of them, they wrote a diary on the researched theme. The collected data were analyzed, according to the principles of classic GT, and the central component of theory – the core category – striving to live more valuably – was distinguished. It is revealed how this theory solves and explains the main concern – inevitability of death. Substantive categories were also revealed, for example: negotiating reality of life and negotiating changes in... [to full text]