Личный кабинет
Подробное описание документа
Архиереев Н. Л.
Естественные модели для итерированных модальностей в системе Льюиса S4 / Архиереев Н. Л. - DOI 10.18698/2306-8477-2017-2-413 // Гуманитарный вестник МГТУ им. Н. Э. Баумана. - 2017. - № 2. -
Скачать документ
Основное средство содержательного истолкования модальных исчислений в современной логике - так называемые семантики возможных миров (реляционные и окрестностные). Исходными в данных семантиках являются понятия возможного мира, модельной структуры, отношения достижимости между мирами. Хотя семантики возможных миров кажутся более естественными, чем алгебраические и топологические семантики модальных исчислений, лежащие в их основе понятия не имеют удовлетворительной содержательной интерпретации. Особенно трудной оказывается проблема содержательной интерпретации итерированных модальных операторов. В статье изложен принципиально новый подход к построению семантики модальных логик, при котором используются только традиционные для них понятия логической истинности, выполнимости и т. д. На основе этого подхода предложено естественное истолкование итерированных модальностей системы S4.
Статья опубликована в следующих изданиях
№ 2. - 2017.
