Multi-agents' temporal logic using operations of static agents' knowledge

Vladimir V. Rybakov<sup>abc

a</sup> Siberian Federal University, Krasnoyarsk, Russian Federation
^b HSE University, Moscow, Russian Federation
^c A. P. Ershov Institute of Informatics Systems, Novosibirsk, Russian Federation

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.

Keywords: temporal logic, multi-agency, non-classical logics, information, knowledge representation, deciding algorithms, decidability, computability.

UDC: 512.54

Received: 31.05.2021
Received in revised form: 10.09.2021
Accepted: 21.10.2021

Language: English

DOI: 10.17516/1997-1397-2022-15-1-114-124

Bibliographic databases:

•