Ольховиков Г. К. К вопросу о возможности редукции состояний дел к действиям: анализ логик L0 и L1 / Ольховиков Григорий Константинович // Вестник Московского университета. Серия 7, Философия. - 2009. - № 5. - С. 53 - 66. - Лит.Отраслевые рубрики: логика, философские науки Ключевые слова: возможные миры, динамическая логика, логика действий, логический язык Аннотация: Статья посвящена описанию двух ранее не изучавшихся логик действия: L0 и L1. Обсуждаются их выразительные возможности, а также возможные аксиоматизации и погружения в динамическую логику
|