Модальная логика

Модальная логика

Бібліографічні деталі
Автор:	Ивлев Ю. В. Юрий Васильевич
Мова:	Російська
Опубліковано:	Москва, Изд-во МГУ, 1991
Предмети:	модальная логика семантика
Формат:	Книга
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=158674

Схожі ресурси

Логика изменения и модальная логика
за авторством: Солодухин О. А. Олег Анатольевич
Опубліковано: (Ростов-на-Дону, Изд-во Ростовского ун-та, 1989)

Модальная логика: пер. с англ.
за авторством: Фейс Р. Роберт
Опубліковано: (Москва, Наука, 1974)

Логика и онтология
Опубліковано: (Москва, Наука, 1978)

Модальная логика оценок и норм с точки зрения содержательной этики и права
за авторством: Лобовиков В. О. Владимир Олегович
Опубліковано: (Красноярск, Изд-во Красноярского ун-та, 1984)

Содержательная семантика модальной логики
за авторством: Ивлев Ю. В. Юрий Васильевич
Опубліковано: (Москва, Изд-во МГУ, 1985)

"Возможные миры" в философии и логике
за авторством: Фатиев Н. И. Никита Игоревич
Опубліковано: (Иркутск, Изд-во Иркутского ун-та, 1993)

Семантика модальных и интенсиональных логик: пер. с англ.
Опубліковано: (Москва, Прогресс, 1981)

Значение и необходимость. Исследование по семантике и модальной логике: пер. с англ.
за авторством: Карнап Р. Рудольф
Опубліковано: (Москва, Изд-во иностранной литературы, 1959)

Философские проблемы логики. Семантические аспекты
за авторством: Целищев В. В. Виталий Валентинович
Опубліковано: (Москва, Высшая школа, 1984)

Логика норм
за авторством: Ивин А. А. Александр Архипович
Опубліковано: (Москва, Изд-во Московского ун-та, 1973)

Философские основания научной теории
Опубліковано: (Новосибирск, Наука, 1985)

Логика: учебное пособие для вузов
за авторством: Ивин А. А. Александр Архипович
Опубліковано: (Москва, Высшая школа, 2004)

Предметная область в логической семантике: монография
за авторством: Бессонов А. В. Александр Владимирович
Опубліковано: (Новосибирск, Наука, 1985)

Современная логика и методология науки: сборник научных статей
Опубліковано: (Москва, Изд-во МГУ, 1987)

Неклассические логики и лямбда-исчисление: некоторые элементы
за авторством: Грибанов Д. В.
Опубліковано: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)

Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
за авторством: Малышев Д. С.
Опубліковано: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017)

Элементы неклассических логик и моделей вычислений учебно-методическое пособие
за авторством: Малышев Д. С.
Опубліковано: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015)

Логическое программирование и моделирование систем: учебное пособие
за авторством: Новосельцев В. Б. Виталий Борисович
Опубліковано: (Томск, Изд-во ТПУ, 2008)

Логика. Общий курс формальной логики: учебник для вузов
за авторством: Грядовой Д. И. Дмитрий Иосифович
Опубліковано: (Москва, ЮНИТИ, 2010)

Математическая логика
за авторством: Гладкий А. В. Алексей Всеволодович
Опубліковано: (Москва, Изд-во Российского ГГУ, 1998)

Логика вопросов и ответов: пер. с англ.
за авторством: Белнап Н.
Опубліковано: (Москва, Прогресс, 1981)

Элементы модальной логики: монография
за авторством: Костюк В. Н. Владимир Николаевич
Опубліковано: (Киев, Наукова думка, 1978)

Понятие объекта в модальной логике
за авторством: Целищев В. В. Виталий Валентинович
Опубліковано: (Новосибирск, Наука, 1978)

Особенности изменения модальной семантики глагола MUSSEN в немецком языке; Вестник Томского государственного педагогического университета; № 6 (183)
за авторством: Бабакина Т. Н. Татьяна Николаевна
Опубліковано: (2017)

Математика метаматематики: пер. с англ.
за авторством: Расева Е. Елена
Опубліковано: (Москва, Наука, 1972)

Теория логического вывода
Опубліковано: (Москва, Наука, 1973)

Логическое программирование и моделирование систем: учебное пособие
за авторством: Новосельцев В. Б. Виталий Борисович
Опубліковано: (Томск, Изд-во ТПУ, 2008)

Вып. 5; Логические исследования
Опубліковано: (1998)

Логические теории временных контекстов (временная логика)
за авторством: Ишмуратов А. Т. Анатолий Темиргалиевич
Опубліковано: (Киев, Наукова думка, 1981)

Логика: [учебное пособие]
за авторством: Бартон В. И. Виталий Иванович
Опубліковано: (Минск, Новое знание, 2008)

Модальные и интенсиональные логики и их применение к проблемам методологии науки
Опубліковано: (Москва, Наука, 1984)

Использование модальной логики для проектирования оболочек экспертных систем; Известия Томского политехнического университета [Известия ТПУ]; Т. 308, № 4
за авторством: Ларионов Д. С.
Опубліковано: (2005)

Элементы логики действий
за авторством: Блинов А. Л. Аркадий Леонидович
Опубліковано: (Москва, Наука, 1991)

Математическая логика: учебное пособие
за авторством: Лавров И. А. Игорь Андреевич
Опубліковано: (Москва, Академия, 2006)

Неклассические логики и их применение; Вопросы кибернетики
Опубліковано: (1982)

Логика и логическая семантика: Сборник трудов: пер. с нем.
за авторством: Фреге Г. Готтлоб
Опубліковано: (Москва, Аспект Пресс, 2000)

Философско-методологические аспекты релевантной логики
за авторством: Войшвилло Е. К. Евгений Казимирович
Опубліковано: (Москва, Изд-во МГУ, 1988)

Логика: учебник
за авторством: Ивлев Ю. В. Юрий Васильевич
Опубліковано: (Москва, Изд-во МГУ, 1992)

Нечеткие множества и теория возможностей. Последние достижения: пер. с англ.
Опубліковано: (Москва, Радио и связь, 1986)

Достоверный и правдоподобный вывод в интеллектуальных системах
Опубліковано: (Москва, Физматлит, 2004)