Satisfiability in a Temporal Multi-valueted Logic Based on Z
-
Published:2022-01
Issue:1
Volume:15
Page:56-74
-
ISSN:1997-1397
-
Container-title:Journal of Siberian Federal University. Mathematics & Physics
-
language:
-
Short-container-title:J. Sib. Fed. Univ., Math. phys.
Author:
Kiyatkin Vladimir R.,
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
Publisher
Siberian Federal University
Subject
General Physics and Astronomy,General Mathematics