|
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
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.
Received: 11.07.2018 Revised: 05.09.2018
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
Linking options:
https://www.mathnet.ru/eng/vtpmk511 https://www.mathnet.ru/eng/vtpmk/y2018/i3/p81
|
Statistics & downloads: |
Abstract page: | 296 | Full-text PDF : | 201 | References: | 33 |
|