RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Sib. Èlektron. Mat. Izv.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Sib. Èlektron. Mat. Izv., 2018, Volume 15, Pages 436–449 (Mi semr930)  

Mathematical logic, algebra and number theory

Temporal multi-valued logic with lost worlds in the past

V. V. Rybakovab

a A.P. Ershov Institute of informatics systems SB RAS, Acad. Lavrentjev pr., 6, Novosibirsk 630090, Russia
b Institute of Mathematics and Computer Science, Siberian Federal University, 79 Svobodny pr., 660041 Krasnoyarsk, Russia

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 $V_i$ 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.

Keywords: many–valued logic, multi–agent logic, temporal logic, computability, information, satisfiability, decidability, deciding algorithms, non–transitive time.

DOI: https://doi.org/10.17377/semi.2018.15.039

Full text: PDF file (187 kB)
References: PDF file   HTML file

Bibliographic databases:

Document Type: Article
UDC: 510.643
MSC: 03F99
Received October 8, 2017, published April 30, 2018
Language: English

Citation: V. V. Rybakov, “Temporal multi-valued logic with lost worlds in the past”, Sib. Èlektron. Mat. Izv., 15 (2018), 436–449

Citation in format AMSBIB
\Bibitem{Ryb18}
\by V.~V.~Rybakov
\paper Temporal multi-valued logic with lost worlds in the past
\jour Sib. \`Elektron. Mat. Izv.
\yr 2018
\vol 15
\pages 436--449
\mathnet{http://mi.mathnet.ru/semr930}
\crossref{https://doi.org/10.17377/semi.2018.15.039}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000438412200039}


Linking options:
  • http://mi.mathnet.ru/eng/semr930
  • http://mi.mathnet.ru/eng/semr/v15/p436

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Number of views:
    This page:28
    Full text:7
    References:1

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019