Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$

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