The article suggests a generalized approach to the description of arithmetic predicates in polymodal propositional logics and describes ways of representing predicate systems in those logics. The inverse problem, that of constructing arithmetic models for modal logics, is also considered.
Keywords:
modal logics, arithmetic, predicate, provability, model
Publication language:russian, pages:8 (p. 17-24)
Research direction:
Mathematical problems and theory of numerical methods
