Temporal multi-valued logic with lost worlds in the past
View/ Open:
URI (for links/citations):
http://semr.math.nsc.ru/v15/p436-449.pdfhttps://elib.sfu-kras.ru/handle/2311/110608
Author:
Рыбаков, Владимир Владимирович
Corporate Contributor:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Date:
2018-04Journal Name:
Сибирские электронные математические известияJournal Quartile in Scopus:
Q3Journal Quartile in Web of Science:
без квартиляBibliographic Citation:
Рыбаков, Владимир Владимирович. Temporal multi-valued logic with lost worlds in the past [Текст] / Владимир Владимирович Рыбаков // Сибирские электронные математические известия. — 2018. — Т. 15. — С. 436-449Текст статьи не публикуется в открытом доступе в соответствии с политикой журнала.
Abstract:
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 information, for instance, with information forgotten in the past. In the situation we consider, the agents' accessibility relations may have lacunas: agents may have no access to some potentially known and stored information. Yet innovative point is that in the relational models we consider various valuations Vi for agents' knowledge and a global valuation based on these valuations. Besides, agents' logical operations inside formulas may be nested, as a consequence they may interfere; that is, we consider not autonomous but cooperating agents. Satisfiability and decidability issues are discussed. We find algorithms solving satisfiability problem and hence we obtain the decidability of the decidability problem. Open problems are discussed.
Collections:
Metadata:
Show full item recordRelated items
Showing items related by title, author, creator and subject.
-
Satisfiability in a Temporal Multi-valueted Logic Based on Z
Kiyatkin, Vladimir R.; Kosheleva, Anna V.; Кияткин, Владимир Р.; Кошелева, Анна В. (Сибирский федеральный университет. Siberian Federal University, 2022-02)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. ... -
Legal Qualification as a Logical Method of Cognition
Vlasenko, Valerii N.; Власенко, В.Н. (Сибирский федеральный университет. Siberian Federal University., 2016-01)The article examines in detail the logic basis of legal qualification, the major stage of application of the law, the means of specification of the provisions of the rule of law. Two blocks of logic rules to be observed ... -
Разрешимость многомодальной линейной логики знания и времени 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 ... -
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 ... -
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 ...