Loading [MathJax]/jax/output/SVG/config.js
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika
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


Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.:
Year:
Volume:
Issue:
Page:
Find




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

Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2022, Number 5, Pages 25–30 (Mi vmumm4492)  
This article is cited in 5 scientific papers (total in 5 papers)

Mathematics

Topological models of propositional logic of problems and propositions

A. A. Onoprienko

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Full-text PDF (318 kB) Citations (5)
References:
PDF
HTML
Abstract: The propositional fragment $\mathrm{HC}$ of the joint logic of problems and propositions introduced by S. A. Melikhov is considered. Topological models of this logic are constructed and the completeness of the logic $\mathrm{HC}$ with respect to this type of models is shown. Topological models of the logic $\mathrm{H}4$ introduced by S. Artemov and T. Protopopescu are also constructed.
Key words: non-classical logics, topological semantics.
Funding agency Grant number
Russian Science Foundation 21-18-00195
Foundation for the Advancement of Theoretical Physics and Mathematics BASIS
The work is carried out at the Tver State University and is supported by the Russian Science Foundation, project no. 21-18-00195. The author is a scholarship holder of the Theoretical Physics and Mathematics Advancement Foundation BASIS.
Received: 06.10.2021
English version:
Moscow University Mathematics Bulletin, 2022, Volume 77, Issue 5, Pages 236–241
DOI: https://doi.org/10.3103/S0027132222050059
Bibliographic databases:
Document Type: Article
UDC: 510.64
Language: Russian
Citation: A. A. Onoprienko, “Topological models of propositional logic of problems and propositions”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2022, no. 5, 25–30; Moscow University Mathematics Bulletin, 77:5 (2022), 236–241
Citation in format AMSBIB
\Bibitem{Ono22}
\by A.~A.~Onoprienko
\paper Topological models of propositional logic of problems and propositions
\jour Vestnik Moskov. Univ. Ser.~1. Mat. Mekh.
\yr 2022
\issue 5
\pages 25--30
\mathnet{http://mi.mathnet.ru/vmumm4492}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4535597}
\zmath{https://zbmath.org/?q=an:7660974}
\elib{https://elibrary.ru/item.asp?id=49553376}
\transl
\jour Moscow University Mathematics Bulletin
\yr 2022
\vol 77
\issue 5
\pages 236--241
\crossref{https://doi.org/10.3103/S0027132222050059}
Linking options:
  • https://www.mathnet.ru/eng/vmumm4492
  • https://www.mathnet.ru/eng/vmumm/y2022/i5/p25
    • This publication is cited in the following 5 articles:
    1. A. A. Onoprienko, “Bitopological models of intuitionistic epistemic logic”, Russian Math. Surveys, 79:1 (2024), 179–181  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi
    2. S. A. Melikhov, “A Joint Logic of Problems and Propositions”, Dokl. Math., 109:2 (2024), 130  crossref
    3. S. A. Melikhov, “A joint logic of problems and propositions”, Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, 516 (2024), 38  crossref
    4. A. A. Onoprienko, “Cardinality Reduction Theorem for Logics QHC and QH4”, Algebra Logic, 61:6 (2023), 491  crossref
    5. A. A. Onoprienko, “Teorema o ponizhenii moschnosti dlya logik ${\mathrm{QHC}}$ i ${\mathrm{QH4}}$”, Algebra i logika, 61:6 (2022), 720–741  mathnet  crossref
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Statistics & downloads:
    Abstract page:126
    Full-text PDF :46
    References:30
     
      Contact us:
    math-net2025_04@mi-ras.ru     		 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025