Siberian Federal University 
- Issue
- Journal of Siberian Federal University. Mathematics & Physics. 2022 15 (1)
- Authors
- Rybakov, Vladimir V.
- Contact information
- Rybakov, Vladimir V.: Siberian Federal University Krasnoyarsk, Russian Federation A.P. Ershov Institute of Informatics Systems Novosibirsk, Russian Federation;
- Keywords
- temporal logic; multi-agency; non-classical logics; information; knowledge representation; deciding algorithms; decidability; computability
- Abstract
We study an agents’ temporal logic with non-standard none-transitive temporal accessibility relations and operations of static agents’ knowledge. The main mathematical problem we work with is existence of algorithms for solving satisfiability problem. The problem is resolved and the algorithm is found. Some open problems are suggested in the concluding part
- Pages
- 114–124
- DOI
- 10.17516/1997-1397-2022-15-1-114-124
- Paper at repository of SibFU
- https://elib.sfu-kras.ru/handle/2311/144955
Journal of Siberian Federal University. Mathematics & Physics / Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
Full text (.pdf)