Satisfiability in a Temporal Multi-valueted Logic Based on Z
View/ Open:
URI (for links/citations):
https://elib.sfu-kras.ru/handle/2311/144947Author:
Kiyatkin, Vladimir R.
Kosheleva, Anna V.
Кияткин, Владимир Р.
Кошелева, Анна В.
Date:
2022-02Journal Name:
Журнал Сибирского федерального университета. Математика и физика, 2021. Journal of Siberian Federal University. Mathematics & Physics, 2022, 15 (1)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, разрешима
Collections:
Metadata:
Show full item recordRelated items
Showing items related by title, author, creator and subject.
-
MANY–VALUED MULTI–MODAL LOGICS, SATISFIABILITY PROBLEM
Моор, Михаил Александрович; Рыбаков, Владимир Владимирович (2018-08)This paper investigates many–valuated multi–modal logics. The suggested semantics consists of relational Kripke–Hintikka models which have various accessibility relations and distinct valuations for propositional statements ... -
Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations
Рыбаков, Владимир Владимирович (2020-02)We consider a multi-agent logic based on linear temporal logic. This logic uses as the semantics relational temporal models with multi-valuations { the models have separate valuations for all agents. We introduce in the ... -
Разрешимость многомодальной линейной логики знания и времени LTK
Lukyanchuk, Alexandra N.; Лукьянчук, Александра Н. (Сибирский федеральный университет. Siberian Federal University., 2013-04)Thepaperinvestigates modal(temporal-model) logicsbased at a semantic approach with models combining knowledge and time. We introduce multi-modal logics LT Kr and LT Kir containing modalities for knowledge and time as the ... -
Temporal multi-valued logic with lost worlds in the past
Рыбаков, Владимир Владимирович (2018-04)We study many–valued temporal multi–agent logics based on non-transitive models. The semantical basis, i. e., relational models, are used for modelling of computational processes and analysis of databases with incomplete ... -
Interval Multi-agent Logic with Reliability Operator
Kiyatkin, Vladimir R.; Rybakov, Vladimir V.; Кияткин, Владимир Р.; Рыбаков, Владимир В. (Journal of Siberian Federal University. Сибирский федеральный университет, 2024-10)We study intransitive temporal multi-agent logic with agents’ multi-valuations for formulas letters and relational models representing reliable states. This logic is defined in a semantic as a set of formulas which are ...