Логики для кросс-мировой предикации на основе D, T, S4 и S5

Логики для кросс-мировой предикации на основе D, T, S4 и S5

В данной статье исследуются модификации CWPL, базирующиеся на пропозициональных логиках D, T, S4 и S5. Эти модификации позволяют отображать кросс-мировую предикацию в деонтическом, эпистемическом, темпоральном и алетическом контекстах (т.е. в контекстах, для формализации которых пригодны данные проп...

Полное описание

Библиографическая информация
Опубликовано в: :	Вестник Томского государственного университета. Философия. Социология. Политология № 82. С. 55-67
Главный автор:	Мухаметшина, Индира Искандаровна
Формат:	Статья в журнале
Язык:	Russian
Предметы:	кросс-мировая предикация модальная логика первого порядка табличная теория доказательства секвенциальная теория доказательства полнота статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001150470

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

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

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

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

О полноте пространств непрерывных функций в топологии поточечной сходимости
по: Тыдыков, Карим Анатольевич

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

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

Реализация обратного метода для модальной логики КТ
по: Бурлуцкий, Владимир Владимирович

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

Первопорядковая модальная логика с 𝜆-оператором
по: Мухаметшина, Индира Искандаровна

Теория доказательств
по: Такеути, Г.
Публикация: (1978)

Рекурсивно перечислимые множества и сводимости табличного типа
по: Дегтев, Александр Николаевич
Публикация: (1998)

Проблемы предикации в теологии Августина Аврелия и Северина Боэция
по: Абилкаламова, Алина Булатовна

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

Интерпретация христианской догматики в теологических трактатах Северина Боэция
по: Абилкаламова, Алина Булатовна

Основания логики
по: Уэтли, Ричард 1787-1863
Публикация: (1873)

Социолингвистическая модель вежливости П. Браун и С. Левинсона: критика евроцентричности и кросс-культурный потенциал
по: Вычужанина, Елена Владимировна

Доказывание в уголовном процессе учебно-практическое пособие : [специальный курс]
по: Лазарева, Валентина Александровна
Публикация: (2010)

Доказывание в уголовном процессе учебник для бакалавриата и магистратуры : [по направлению подготовки 021100 (030501) "Юриспруденция", по специальностям 030505 (023100) "Правоохранительная деятельность", 350600 (030502) "Судебная экспертиза", 030500 (521400) "Юриспруденция (магистр)"]
по: Лазарева, Валентина Александровна
Публикация: (2016)

Доказывание в уголовном процессе учебно-практическое пособие : [специальный курс]
по: Лазарева, Валентина Александровна
Публикация: (2009)

Юридические основания достоверности доказательств учебное пособие
Публикация: (2011)

Математическая логика и теория алгоритмов [учебное пособие]
по: Хусаинов, Ахмет Аксанович
Публикация: (2005)

Поведение динамических систем вблизи границ области устойчивости
по: Баутин, Николай Николаевич
Публикация: (1984)

Кросс-культурный менеджмент учебник для бакалавриата и магистратуры : [по экономическим направлениям и специальностям]
по: Мясоедов, Сергей Павлович
Публикация: (2016)

Математический структурализм с точки зрения (модальной) теории множеств
по: Ламберов, Лев Дмитриевич

Роль, сущность и значение цифровых (электронных) доказательств в уголовном судопроизводстве
по: Шаталов, Александр Семенович

Компакты в пространства Cp(K, S)
по: Королев, Денис Иванович

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

Основы теории доказательств в советском уголовном процессе Учебное пособие
Публикация: (1970)

К вопросу об основании классификации доказательств на прямые и косвенные
по: Мезинов, Дмитрий Анатольевич

Транскоммуникативная парадигма в кросс-культурном исследовании
по: Кабрин, Валерий Иванович

Основы теории судебных доказательств (Краткий очерк)
по: Трусов, Алексей Иванович
Публикация: (1960)

Вопросы общей теории судебных доказательств в советском уголовном процессе
по: Арсеньев, Виталий Дмитриевич
Публикация: (1964)

Практический курс логики для гуманитариев Учебное пособие для вузов
по: Брюшинкин, Владимир Никифорович 1953-2012
Публикация: (1994)

Упражнения по логике сборник
Публикация: (2014)

Целесообразность наделения защитника правом собирания доказательств
по: Балдин, В. В.

Изменчивая природа математического доказательства доказать нельзя поверить
по: Кранц, Стивен
Публикация: (2016)

Проблемы использования электронных доказательств в гражданском процессе
по: Мелентьева, Мария Сергеевна

Электронные доказательства в гражданском судопроизводстве России. Понятие, правовая природа
по: Симоненко, Андрей Владимирович

Особенности танцевальной импровизации в системе занятий кросс-степ вальсом
по: Якунина, Елена Николаевна

Кросс-культурная и этническая психология [учебное пособие]
по: Почебут, Людмила Георгиевна
Публикация: (2012)