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

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

Bibliografiske detaljer
Hovedforfatter:	Ивлев Ю. В. Юрий Васильевич
Sprog:	russisk
Udgivet:	Москва, Изд-во МГУ, 1991
Fag:	модальная логика семантика
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=158674

Lignende værker

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика
af: Гладкий А. В. Алексей Всеволодович
Udgivet: (Москва, Изд-во Российского ГГУ, 1998)

Логика вопросов и ответов: пер. с англ.
af: Белнап Н.
Udgivet: (Москва, Прогресс, 1981)

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

Теория логического вывода
Udgivet: (Москва, Наука, 1973)

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

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

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

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

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

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

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

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

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

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

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

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

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

Ошибки управления. Психологические причины. Метод автоматизированного анализа
af: Котик М. А. Михаил Аркадьевич
Udgivet: (Таллин, Валгус, 1985)