Siberian Federal University 
- Issue
- Journal of Siberian Federal University. Mathematics & Physics. 2022 15 (1)
- Authors
- Kiyatkin, Vladimir R.; Kosheleva, Anna V.
- Contact information
- Kiyatkin, Vladimir R.: Siberian Federal University Krasnoyarsk, Russian Federation; kiyatkinvr@mail.ru; Kosheleva, Anna V.: Siberian Federal University Krasnoyarsk, Russian Federation; koshelevaa@mail.ru
- Keywords
- temporal logic; multi-agent logic; epistemic modal logic; multi-valueted logic; satisfiability; decidability in logic; knowledge representation and reasoning; multi-agent systems
- 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
- Pages
- 56–74
- DOI
- 10.17516/1997-1397-2022-15-1-56-74
- Paper at repository of SibFU
- https://elib.sfu-kras.ru/handle/2311/144947
Journal of Siberian Federal University. Mathematics & Physics / Satisfiability in a Temporal Multi-valueted Logic Based on Z
Full text (.pdf)