Первопорядковая модальная логика с 𝜆-оператором

Первопорядковая модальная логика с 𝜆-оператором

Библиографическая информация
Опубликовано в: :	Initia: Актуальные проблемы социальных наук (22-23 апреля 2022 г.) : материалы XXIV Международной конференции молодых ученых С. 120-122
Главный автор:	Мухаметшина, Индира Искандаровна
Формат:	Статья в сборнике
Язык:	Russian
Предметы:	модальная логика статьи в сборниках
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001016555

Похожие документы

Модальная логика
по: Ивлев, Юрий Васильевич 1936-
Публикация: (1991)

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

Эволюционная эпистемология и ненормальная модальная логика знания
по: Лобовиков, Владимир Олегович

Логическая семантика и модальная логика Сборник статей
Публикация: (1967)

Современная модальная логика Развитие теории алетических модальностей (1920-1960гг. )
по: Слинин, Ярослав Анатольевич
Публикация: (1976)

Логики для кросс-мировой предикации на основе D, T, S4 и S5
по: Мухаметшина, Индира Искандаровна

Практическая логика: учебное пособие/
по: Ивин, А. А. Александр Архипович
Публикация: (2002)

Релевантная логика (предпосылки, исчисления, семантика)
по: Сидоренко, Евгений Александрович 1940-
Публикация: (2000)

Модальный подход в психологии и модальная психология
по: Сизикова, Татьяна Эдуардовна

Логика для кросс-мировой предикации
по: Борисов, Евгений Васильевич философ

Логика: пособие для учащихся/
по: Ивин, А. А. Александр Архипович
Публикация: (1996)

Логика Учебник для гуманитарных факультетов
по: Ивин, Александр Архипович 1939-
Публикация: (2002)

Модальная логика: пер. с англ./
по: Фейс, Р. Роберт
Публикация: (1974)

Varying domain first-oder modal logic
по: Gavrikov, A. R.

Логические исследования
Публикация: (2002)

Логика для кросс-мировой предикации: теория доказательства
по: Борисов, Евгений Васильевич философ

Von Wrights theory as the subsystem of the theory D
по: Gavrikov, A. R.

Семантика модальных и интенсиональных логик
Публикация: (1981)

Содержательная семантика модальной логики
по: Ивлев, Юрий Васильевич 1936-
Публикация: (1985)

Философские проблемы семантики возможных миров
по: Целищев, Виталий Валентинович
Публикация: (1977)

Исследования допустимых правил в нестандартных логиках Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
по: Бабенышев, Сергей Валерьевич
Публикация: (1995)

Counterfactuals
по: Lewis, David K. 1941-
Публикация: (2005)

Логика учебное пособие для бакалавров : [по дисциплине "Логика" для студентов гуманитарных и социально-экономических специальностей и направлений подготовки вузов]
по: Ивин, Александр Архипович 1939-
Публикация: (2011)

Логика учебник и практикум для академического бакалавриата : [по экономическим направлениям и специальностям, по дисциплине "Логика" для студентов гуманитарных и социально-экономических специальностей и направлений подготовки вузов]
по: Ивин, Александр Архипович 1939-
Публикация: (2016)

Кросс-мировое сравнение в расширенной логике сослагательного наклонения
по: Гавриков, Александр Романович

Итерированные модальные операторы и условия выводимости Гильберта-Бернайса
по: Целищев, Виталий Валентинович

К вопросу об особенностях CPL
по: Ламберов, Лев Дмитриевич

Philosophical papers
по: Lewis, David
Публикация: (1983)

Possible worlds semantics
по: Dibrov, A. D.

Философские проблемы логики (Семантические аспекты)
по: Целищев, Виталий Валентинович
Публикация: (1984)

Papers on time and tense
по: Prior, Arthur N. 1914-1969
Публикация: (2003)

Логика. Теория и практика учебное пособие для бакалавров : [по дисциплине "Логика" для студентов гуманитарных и социально-экономических специальностей и направлений подготовки вузов]
по: Ивин, Александр Архипович 1939-
Публикация: (2014)

Логические исследования
Публикация: (2003)

Символическая логика [учебник для студентов и аспирантов философских факультетов университетов]
Публикация: (2005)

Современная логика [учебное пособие для вузов по специальности 540400 (050400) "Социально-экономическое образование"]
по: Светлов, Виктор Александрович 1945-
Публикация: (2006)

"Модальная методология" Д. Б. Зильбермана и ее герменевтическое значение
по: Немцев, Михаил Юрьевич

Логика учебник
Публикация: (2011)

Логика учебник для бакалавров
Публикация: (2016)

Логика для юристов учебник и практикум для академического бакалавриата : [для студентов вузов по юридическим направлениям и специальностям]
по: Ивин, Александр Архипович 1939-
Публикация: (2016)

Значение и необходимость Исследование по семантике и модальной логике
по: Карнап, Рудольф
Публикация: (1959)