Книга: Д. П. Шкатов «Модальная логика и модальные фрагменты классической логики»
Производитель: "Институт философии РАН" Монография посвящена исследованию взаимосвязи между пропозициональными модальными логиками и классическими логиками первого и более высоких порядков. Наряду с известными результатами, такими как разрешимость первопорядкового защищенного фрагмента и сходных фрагментов классических логик, приводятся результаты полученные автором; в частности, доказывается разрешимость модальных логик с интуиционистской основой и модальностями, возникающими при анализе логик знания с потенциально бесконечным множеством познающих субъектов. ISBN:978-5-9540-0128-0 Издательство: "Институт философии РАН" (2008)
ISBN: 978-5-9540-0128-0 |
См. также в других словарях:
Модальная логика — Модальная (от лат. – способ, мера) логика логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временные («когда то в… … Википедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
НЕКЛАССИЧЕСКИЕ ЛОГИКИ — НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов. Предпосылки для неклассической логики были высказаны… … Философская энциклопедия