Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics]
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.]:
Year:
Volume:
Issue:
Page:
Find






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


Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics], 2018, Issue 3, Pages 81–94
DOI: https://doi.org/10.26456/vtpmk511
(Mi vtpmk511)
 

Theoretical Foundations of Computer Science

Axiomatizability of non-normal and quasi-normal modal predicate logics of first-order definable classes of Kripke frames

M. N. Rybakovabc

a Tver State University, Tver
b Closed Joint-Stock Company Scientific Research Institute Centerprogramsystem, Tver
c University of the Witwatersrand, Johannesburg
References:
Abstract: The possibility of effective description of non-normal and quasi-normal predicate modal logics defined semantically by means of classes of Kripke frames with distinguished worlds is considered. It is proved that any non-normal or quasi-normal (in particular, normal) modal predicate logic, complete with respect to a certain first-order definable class of Kripke frames with distinguished worlds, can be embedded into the classical first-order logic. It is shown how to construct such an embedding based on the so called standard translation of modal predicate formulas into formulas of the first-order classical language. At the end of the work, we present some corollaries of this result and demonstrate the possibility of generalization for the described construction to classes of other systems, in particular, to classes of polymodal logics-temporal logic with a pair of modalities ‘always in past’ and ‘always in future’ and logics of knowledge with the operator of distributed knowledge. Some limitations for applicability of the described method are shown, relevant examples are given. Counterexamples are indicated when the conditions of the method applicability for the Kripke complete modal predicate logic are not met but the construction of an effective description of this logic is nevertheless possible.
Keywords: first-order logic, modal logic, non-normal logic, quasi-normal logic, recursive enumerability, Kripke semantics.
Funding agency Grant number
Russian Foundation for Basic Research 17-03-00818-ОГН
18-011-00869
Received: 11.07.2018
Revised: 05.09.2018
Bibliographic databases:
Document Type: Article
UDC: 510.52, 510.643
Language: Russian
Citation: M. N. Rybakov, “Axiomatizability of non-normal and quasi-normal modal predicate logics of first-order definable classes of Kripke frames”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2018, no. 3, 81–94
Citation in format AMSBIB
\Bibitem{Ryb18}
\by M.~N.~Rybakov
\paper Axiomatizability of non-normal and quasi-normal modal predicate logics of first-order definable classes of Kripke frames
\jour Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.]
\yr 2018
\issue 3
\pages 81--94
\mathnet{http://mi.mathnet.ru/vtpmk511}
\crossref{https://doi.org/10.26456/vtpmk511}
\elib{https://elibrary.ru/item.asp?id=35660178}
Linking options:
  • https://www.mathnet.ru/eng/vtpmk511
  • https://www.mathnet.ru/eng/vtpmk/y2018/i3/p81
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics]
    Statistics & downloads:
    Abstract page:296
    Full-text PDF :201
    References:33
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025