|
ВИДЕОТЕКА |
|
Finite model property and unification for temporal logic of knowledge С. И. Башмаков Институт математики и фундаментальной информатики Сибирского федерального университета, г. Красноярск |
|||
Аннотация: Simultaneously with the development of computer networks and an increase in the amount of data with which they operate, there is a growing demand for the specification of systems that allow simulating their operations and internal structure. In this regard, the popular and comfortable-to-use logical systems An alternative in this situation can be offered by logics that don't have these "good" properties. However, in this case many basic methods and approaches often become inapplicable. In our study, we propose a semantic description for linear step-like temporal multi-agent logic with the universal modality Список литературы |