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