Библиотечная система
Библиотечная система. Международный университет природы, общества и человека "Дубна"
  Главная     Поиск       Новости     Консультация     Часы работы     О нас     О сайте     Блог Мишки Б.     Напишите нам  
Авторизация
№ карты:
Фамилия:
   Помощь
Помощь
Общая схема поиска литературы

Руководство по поиску в электронном каталоге

Правила использования информационных ресурсов
Электронный каталог
Расширенный поиск
Поиск по отраслевой классификации
Поиск по словарям
NEW!Новые поступления
Электронные версии
Журналы и газеты
 Подписка 2024
 Каталог периодики
 Заказ журналов
Рекомендуемая литература
Издания университета

Библиотека Чечельницкого А.М.
Библиотека Пономарёва В.С.
Редкий фонд
Выставки
Ресурсы интернета

Besucherzahler mail order brides
счетчик посещений

Библиографическое описание



Статья (сер)

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

Отраслевые рубрики: логика, философские науки

Ключевые слова: возможные миры, динамическая логика, логика действий, логический язык

Аннотация: Статья посвящена описанию двух ранее не изучавшихся логик действия: L0 и L1. Обсуждаются их выразительные возможности, а также возможные аксиоматизации и погружения в динамическую логику


отобрать

Вышестоящий документ:

95.4+87

Вестник Московского университета. Серия 7, Философия: научный журнал. №5/2009 / учредитель: МГУ им. М. В. Ломоносова. Философский факультет; гл. ред. В. В. Миронов. - М.: МГУ, 2009. - 120 с. - Журнал . [подробнее]


Назад