Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=динамическая логика<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.


    Ольховиков, Григорий Константинович (канд. философ. наук).
    К вопросу о возможности редукции состояний дел к действиям: анализ логик LO и LI [Текст] / Г. К. Ольховиков // Вестник Московского университета. Сер. 7, Философия. - 2009. - N 5. - С. 53-67. - Библиогр.: с. 67 (2 назв. ) . - ISSN 1995-0055
УДК
ББК 87.4
Рубрики: Логика
   Общие вопросы логики

Кл.слова (ненормированные):
логика действия -- динамическая логика -- возможные миры (логика) -- LO -- LI
Аннотация: Рассмотрены ранее не изучавшиеся логики действия - LO и LI, их выразительные возможности и погружения в динамическую логику.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

2.


    Ольховиков, Григорий Константинович (канд. философ. наук).

    К вопросу о возможности редукции состояний дел к действиям: анализ логик LO и LI [Текст] / Г. К. Ольховиков // Вестник Московского университета. Сер. 7, Философия. - 2009. - N 5. - С. 53-67. - Библиогр.: с. 67 (2 назв. ) . - ISSN 1995-0055
УДК
ББК 87.4
Рубрики: Логика
   Общие вопросы логики

Кл.слова (ненормированные):
логика действия -- динамическая логика -- возможные миры (логика) -- LO -- LI
Аннотация: Рассмотрены ранее не изучавшиеся логики действия - LO и LI, их выразительные возможности и погружения в динамическую логику.

Нет сведений об экземплярах (Нет сведений об источнике)

Найти похожие

3.


    Ольховиков, Григорий Константинович.
    К новым онтологическим предпосылкам логики действия: анализ языка L0 [Текст] / Г. К. Ольховиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2009. - N 3 (69). - С. 5-17. - Библиогр.: с. 17 (5 назв. ) . - ISSN 1817-7174
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

Кл.слова (ненормированные):
логика действий -- системы логики действий -- онтология логики действий -- философия логики -- динамическая логика
Аннотация: В статье рассматриваются принципы новой системы онтологических предпосылок для логики действия, исследуются логический синтаксис и семантика, а также свойства этой системы.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

4.


    Кислов, Алексей Геннадьевич (кандидат философских наук).
    Семантика позволенного: шероховатости деонтического ландшафта [Текст] / А. Г. Кислов // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2013. - № 5 (122). - С. 128-142. - Библиогр.: с. 141-142 (29 назв.). - Статья является докладом, представленным на конференции "Стыки модерности: постсоциалистические институты, субъективности и дискурсы в сравнительной перспективе", прошедшей в Екатеринбурге в 2013 г. . - ISSN 2227-2291
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

Кл.слова (ненормированные):
деонтическая логика -- деонтические операторы -- динамическая логика -- доклады -- конференции -- логика высказываний -- логическая семантика -- строгие операторы
Аннотация: Стандартная семантика деонтической логики, выполненная на основе динамической логики высказываний, дополняется "строгими" операторами.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)