RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
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., 2016, Volume 13, Pages 656–663 (Mi semr702)  

This article is cited in 1 scientific paper (total in 1 paper)

Mathematical logic, algebra and number theory

Non-unifiability in linear temporal logic of knowledge with multi-agent relations

S. I. Bashmakova, A. V. Koshelevab, V. Rybakovc

a Institute of mathematics and computer science, Siberian Federal University, pr. Svobodny, 79, 660041, Krasnoyarsk, Russia
b Institute of space and informatic technologies, Siberian Federal University, Kirenskogo St. 26, ULK building, 660074, Krasnoyarsk, Russia
c Department of Computing and Mathematics, John Dalton Building, Chester Street, Manchester M1 5GD, UK

Abstract: The paper is devoted to the study of the unification problem in the linear temporal logic of knowledge with multi-agent relations (denoted in the sequel as $LFPK$). This logic is based on frames (models) with time points represented by integer numbers from $Z$ and the information clusters $C^i$ for $i \in Z$ with multi-agent accessibility relations $R_i$.
The first main result is a theorem describing a criterion for formulas to be not unifiable in $LFPK$. The second one is a construction of a basis for all inference rules passive in $LFPK$.

Keywords: unification, modal temporal logic, passive inference rules.

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

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

Bibliographic databases:

UDC: 510.643
MSC: 03F99
Received April 9, 2016, published August 17, 2016
Language:

Citation: S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Sib. Èlektron. Mat. Izv., 13 (2016), 656–663

Citation in format AMSBIB
\Bibitem{BasKosRyb16}
\by S.~I.~Bashmakov, A.~V.~Kosheleva, V.~Rybakov
\paper Non-unifiability in linear temporal logic of knowledge with multi-agent relations
\jour Sib. \`Elektron. Mat. Izv.
\yr 2016
\vol 13
\pages 656--663
\mathnet{http://mi.mathnet.ru/semr702}
\crossref{https://doi.org/10.17377/semi.2016.13.052}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000407781100052}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85014123383}


Linking options:
  • http://mi.mathnet.ru/eng/semr702
  • http://mi.mathnet.ru/eng/semr/v13/p656

    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

    This publication is cited in the following articles:
    1. S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Sib. elektron. matem. izv., 13 (2016), 923–929  mathnet  crossref
  • Number of views:
    This page:93
    Full text:17
    References:21

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