Понятие объекта в модальной логике

Понятие объекта в модальной логике

Bibliografiske detaljer
Hovedforfatter:	Целищев В. В. Виталий Валентинович
Institution som forfatter:	Академия наук СССР Сибирское отделение Институт истории, филологии и философии
Sprog:	russisk
Udgivet:	Новосибирск, Наука, 1978
Fag:	объект сингулярные термины модальность сущность редукция эпистемическая логика
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=358572

Lignende værker

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

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

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

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

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

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

Особенности изменения модальной семантики глагола MUSSEN в немецком языке
af: Бабакина Т. Н. Татьяна Николаевна
Udgivet: (2017)

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

Использование модальной логики для проектирования оболочек экспертных систем
af: Ларионов Д. С.
Udgivet: (2005)

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

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

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

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

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

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

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

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

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

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

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

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

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

Теория объектов в логике
af: Бессонов А. В. Александр Владимирович
Udgivet: (Новосибирск, Наука, 1987)

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

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

Учебник по логике
af: Гетманова А. Д. Александра Денисовна
Udgivet: (Москва, Владос, 1995)

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

Логика в профессиональной деятельности: практикум
af: Ерохина Л. Д.
Udgivet: (Владивосток, ВВГУ, 2019)

Языковые явления в системном и текстовом подходе учебное пособие
af: Белошицкая Н. Н.
Udgivet: (Архангельск, САФУ, 2019)

О модальной функции претерито-презентных глаголов в древневерхненемецком языке
af: Жукова Н. С. Нина Степановна
Udgivet: (2011)

Особенности вербализации модальной семантики возможности в готском, древне- и средневерхненемецком языках
af: Бабакина Т. Н. Татьяна Николаевна
Udgivet: (2014)

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

Уязвимое море пер. с швед. [доклад]
af: Хейердал Т. Тур
Udgivet: (Ленинград, Гидрометеоиздат, 1973)

Беседы о логике Монография
af: Новоселов М. М. Михаил Михайлович
Udgivet: (Москва, ИФ РАН, 2006)

Логика учебник
af: Маслов Н. А. Николай Аркадьевич
Udgivet: (Ростов-на-Дону, Феникс, 2008)

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

Курс лекций по логике учебное пособие
af: Гусев Д. А. Дмитрий Алексеевич
Udgivet: (Москва, Директ-Медиа, 2014)

Упражнения по логике учебное пособие
af: Кириллов В. И. Вячеслав Иванович
Udgivet: (Москва, Юристъ, 1997)

Основы науки: трактат о логике и научном методе пер. со второго англ. изд.
af: Джевонс У. С. Уильям Стэнли
Udgivet: (Санкт-Петербург, Издание Л. Ф. Пантелеева, 1881)

Ламбда-исчисление. Его синтаксис и семантика пер. с англ.
af: Барендрегт Х. П. Хендрик Питер
Udgivet: (Москва, Мир, 1985)