Loading [MathJax]/jax/output/SVG/config.js
Matematicheskie Zametki
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
License agreement
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Mat. Zametki:
Year:
Volume:
Issue:
Page:
Find




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

Matematicheskie Zametki, 1974, Volume 15, Issue 6, Pages 875–884 (Mi mzm7417)  
This article is cited in 1 scientific paper (total in 1 paper)

Kripke semantics for modal systems including S4.3

V. Yu. Meskhi

Institute of Cybernetics, Academy of Sciences of the Georgian SSR
Full-text PDF (729 kB) Citations (1)
Abstract: We present, in terms of Kripke models, the characteristics of all the known extensions of the modal system S4.3. Such a semantic description makes it possible to give a complete picture of the whole class of systems extending S4.3. We obtain answers to some unsolved problems.
Received: 26.04.1973
English version:
Mathematical Notes, 1974, Volume 15, Issue 6, Pages 523–528
DOI: https://doi.org/10.1007/BF01152828
Bibliographic databases:
UDC: 51.01
Language: Russian
Citation: V. Yu. Meskhi, “Kripke semantics for modal systems including S4.3”, Mat. Zametki, 15:6 (1974), 875–884; Math. Notes, 15:6 (1974), 523–528
Citation in format AMSBIB
\Bibitem{Mes74}
\by V.~Yu.~Meskhi
\paper Kripke semantics for modal systems including S4.3
\jour Mat. Zametki
\yr 1974
\vol 15
\issue 6
\pages 875--884
\mathnet{http://mi.mathnet.ru/mzm7417}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=351760}
\zmath{https://zbmath.org/?q=an:0311.02033}
\transl
\jour Math. Notes
\yr 1974
\vol 15
\issue 6
\pages 523--528
\crossref{https://doi.org/10.1007/BF01152828}
Linking options:
  • https://www.mathnet.ru/eng/mzm7417
  • https://www.mathnet.ru/eng/mzm/v15/i6/p875
    • This publication is cited in the following 1 articles:
    1. George Weaver, Jeffrey Welaish, “Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics”, J. symb. log., 51:4 (1986), 969  crossref
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
    Statistics & downloads:
    Abstract page:376
    Full-text PDF :162
    First page:1
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025