Satisfiability in a Temporal Multi-valueted Logic Based on Z

Abstract

In this paper we continue the series of papers by V. V. Rybakov devoted to properties of multi-valueted logics and where he propose a new approach for modelling knowledge and reasoning of agents in a multi-agent system. We prove that the satisfiability problem is decidable in a temporal multi-valueted logic based on Z

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