RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor
Guidelines for authors

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



J. Sib. Fed. Univ. Math. Phys.:
Year:
Volume:
Issue:
Page:
Find






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


J. Sib. Fed. Univ. Math. Phys., 2016, Volume 9, Issue 2, Pages 149–157 (Mi jsfu470)  

This article is cited in 3 scientific papers (total in 3 papers)

Unification and inference rules in the multi-modal logic of knowledge and linear time LTK

Stepan I. Bashmakov

Institute of Mathematics and Computer Science, Siberian Federal University, Svobodny, 79, Krasnoyarsk, 660041, Russia

Abstract: We study unification of formulas in multi-modal LTK logic and give a syntactic description of all formulas which are non-unificable in this logic. Passive inference rules are considered, it is shown that in LTK logic there is a finite basis for passive rules.

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

DOI: https://doi.org/10.17516/1997-1397-2016-9-2-149-157

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

Bibliographic databases:

UDC: 510.643
Received: 10.12.2015
Received in revised form: 10.01.2016
Accepted: 15.02.2016
Language:

Citation: Stepan I. Bashmakov, “Unification and inference rules in the multi-modal logic of knowledge and linear time LTK”, J. Sib. Fed. Univ. Math. Phys., 9:2 (2016), 149–157

Citation in format AMSBIB
\Bibitem{Bas16}
\by Stepan~I.~Bashmakov
\paper Unification and inference rules in the multi-modal logic of knowledge and linear time LTK
\jour J. Sib. Fed. Univ. Math. Phys.
\yr 2016
\vol 9
\issue 2
\pages 149--157
\mathnet{http://mi.mathnet.ru/jsfu470}
\crossref{https://doi.org/10.17516/1997-1397-2016-9-2-149-157}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000412008200003}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84973467744}


Linking options:
  • http://mi.mathnet.ru/eng/jsfu470
  • http://mi.mathnet.ru/eng/jsfu/v9/i2/p149

    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, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Sib. elektron. matem. izv., 13 (2016), 656–663  mathnet  crossref
    2. 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
    3. S. I. Bashmakov, “Unification in linear modal logic on non-transitive time with the universal modality”, Zhurn. SFU. Ser. Matem. i fiz., 11:1 (2018), 3–9  mathnet  crossref
  • Журнал Сибирского федерального университета. Серия "Математика и физика"
    Number of views:
    This page:97
    Full text:23
    References:15

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