Расширения аксиоматических теорий утверждениями типа непротиворечивости и соответствующие им модальные логикидиссертация