Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge

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

Исследуется мультиагентная временная логика с нестандартными нетранзитивными отношениями временной достижимости и операциями статического знания агентов. Находится алгоритм, решающий проблему выполнимости и разрешимости