ოთხნიშნა მულტიმოდალური ეპისტემიკური ლუკასევიჩის ლოგიკა კონსტანტებით

ავტორი: მარიამ მათეშვილი
საკვანძო სიტყვები: ლუკასევიჩის ლოგიკა, MV-ალგებრა, კრიპკეს მოდელები
ანოტაცია:

ნაშრომში განვითარებულია ოთხნიშნა მულტიმოდალური ეპისტემიკური ლუკასევიჩის ლოგიკა კონსტანტებით EŁ4c(n), რომელიც ოთხნიშნა ლუკასევიჩის ლოგიკის Ł4 გაფართოვებაა, რომლის ენა გაფართოვებულია ნულარული და უნარული კავშირებით; ამავე დროს განვითარებულია ამ ლოგიკების შესაბამისი ალგებრული თეორია. უნარული კავშირები ინტერპრეტირებულია როგორც მოდალური ოპერატორები (ცოდნის ოპერატორები). ეს ლოგიკა განსაზღვრულია აქსიომატიკურად და დამტკიცებულია სისრული თეორემა შესაბამისი ალგებრათა მრავალსახეობის მიმართ. აღვნიშნოთ, რომ მოცემული ლოგიკა გამოიყენება იმუნური სისტემის შესწავლაში.

მიმაგრებული ფაილები:

ოთხნიშნა მულტიმოდალური ეპისტემიკური ლუკასევიჩის ლოგიკა კონსტანტებით [ka]