В работе предложен обобщенный подход к описанию арифметических предикатов в пропозициональных полимодальных логиках, указаны способы представления систем предикатов в этих логиках. Рассмотрена и обратная проблема - построение арифметических моделей для модальных логик.
Ключевые слова:
модальные логики, арифметика, предикат, доказуемость, модель
