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

Authors: Lukyanchuk, Alexandra N.

Subject Terms: epistemic logic, multi-modal logic, temporal logic, многомодальная логика, decidability, линейная временная логика, effective finite model property, разрешимость, эффективная финитная аппроксимируемость

Access URL: https://openrepository.ru/article?id=267555

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

Authors: Lukyanchuk, Alexandra N., Лукьянчук, Александра Н.

Subject Terms: multi-modal logic, temporal logic, epistemic logic, decidability, effective finite model property, многомодальная логика, линейная временная логика, разрешимость, эффективная финитная аппроксимируемость

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

Availability: https://elib.sfu-kras.ru/handle/2311/9680