Разрешимость многомодальной линейной логики знания и времени LTK

Συγγραφείς: Lukyanchuk, Alexandra N.

Θεματικοί όροι: epistemic logic, multi-modal logic, temporal logic, многомодальная логика, decidability, линейная временная логика, effective finite model property, разрешимость, эффективная финитная аппроксимируемость

Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=267555

Разрешимость многомодальной линейной логики знания и времени LTK ; Decidability of Multi-modal Logic LTK of Linear Time and Knowledge

Συγγραφείς: Lukyanchuk, Alexandra N., Лукьянчук, Александра Н.

Θεματικοί όροι: multi-modal logic, temporal logic, epistemic logic, decidability, effective finite model property, многомодальная логика, линейная временная логика, разрешимость, эффективная финитная аппроксимируемость

Relation: 2013 6 ( 2 ); Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics.

Διαθεσιμότητα: https://elib.sfu-kras.ru/handle/2311/9680