| № | Дата |
Автор |
Заглавие |
|---|
|
2003 |
Мурзина, Вета Федоровна |
Модальные логики, основанные на α-пространствах : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Мурзина Вета Федоровна ; [Ин-т математики им. С.Л.Соболева Сиб. отд-ния Рос. акад. наук] |
|
2006 |
Шкатов, Дмитрий Петрович |
Модальные логики с нестандартными модальностями : автореферат диссертации на соискание ученой степени кандидата философских наук : 09.00.07 / Шкатов Дмитрий Петрович ; Российская акалемия наук, Институт философии |
|
2007 |
Кошелева, Анна Владимировна |
Правила вывода многомодальных логик : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Кошелева Анна Владимироовна ; [Институт естественных и гуманитарных наук Сибирского федерального университета] |
|
2004 |
Swirydowicz, Kazimierz |
Podstawy logiki modalnej / Kazimierz Swirydowicz ; red. Aleksandra Ratajczak ; Uniw. im. A. Mickiewicza w Poznaniu |
|
2012 |
Дашков, Евгений Владимирович (кандидат физико-математических наук ; род. 1986) |
О пропозициональных исчислениях, представлющих понятие доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Дашков Евгений Владимирович ; Московский государственный университет им. М. В. Ломоносова |
|
2016 |
Ивин, Александр Архипович (доктор философских наук ; род. 1939) |
Логика оценок и норм : философские, методологические и прикладные аспекты : монография / А. А. Ивин ; Российская академия наук, Институт философии |
|
2019 |
Светлов, Виктор Александрович (доктор философских наук ; род. 1945) |
Силлогистика ассерторическая и модальная : новые решения старых проблем / В. А. Светлов |
|
2001 |
Бурлуцкий, Владимир Владимирович |
Реализация обратного метода установления выводимости для модальной логики КТ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.01 / Бурлуцкий Владимир Владимирович ; [Том. гос. ун-т] |
|
2007 |
Шапировский, Илья Борисович |
Алгоритмические свойства модальных логик информационных систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 ; 01.01.06 / Шапировский Илья Борисович ; [Институт проблем передачи информации им. А. А. Харкевича РАН] |
|
2007 |
Карнап, Рудольф (1891—1970) |
Значение и необходимость = Meaning and necessity : исследование по семантике и модальной логике / Р. Карнап ; перевод с английского Н. В. Воробьева ; общая редакция Д. А. Бочвара ; предисловие С. Я. Яновской |
|
2001 |
|
Логические исследования : [Сб.ст.] / Рос.акад.наук. Ин-т философии; Редкол.:Карпенко А.С.(отв.ред.) и др. Вып.8 |
|
2000 |
Златинский, Роман Николаевич (кандидат филологических наук) |
Модально-логический статус и структура именного предложения и предложения с έστί в древнегреческом языке : Автореф. дис. на соиск. учен. степ. канд. филол. наук : 10.02.20 / Златинский Роман Николаевич ; [Ин-т лингвистики Рос. гос. гуманитар. ун-та] |
|
2005 |
Марчишина, Алла Анатольевна |
Функционально-семантические особенности глагольных операторов юмористической модальности : на материале современной англоязычной художественной прозы : автореферат диссертации на соискание ученой степени кандидата филологических наук : 10.02.04 / Марчишина Алла Анатольевна ; Киевский национальный лингвистический университет |
|
2008 |
Кудинов, Андрей Валерьевич (кандидат физико-математических наук) |
Топологические модальные логики с модальностью неравенства : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Кудинов Андрей Валерьевич ; Московский государственный университет им. М. В. Ломоносова |
|
1947 |
Carnap, Rudolf (1891—1970) |
Meaning and necessity : A study in semantics and modal logic / Rudolf Carnap |
|
2001 |
Ивин, Александр Архипович (доктор философских наук ; род. 1939) |
Модальные теории Яна Лукасевича / А.А.Ивин ; Рос. акад. наук, Ин-т философии |
|
1991 |
Ивлев, Юрий Васильевич (доктор философских наук ; род. 1936) |
Модальная логика |
|
2010 |
Кикоть, Станислав Павлович (кандидат физико-математических наук ; род. 1983) |
О модальных логиках элементарных классов шкал Крипке : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Кикоть Станислав Павлович ; Московский государственный университет им. М. В. Ломоносова |
|
2013 |
Дробышевич, Сергей Андреевич |
Логика Гейтинга — Оккама и негативные модальности : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Дробышевич Сергей Андреевич ; [Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук] |
|
2007 |
Бежанишвили, Михаил Николаевич |
Логика модальностей знания и мнения / М. Н. Бежанишвили ; предисловие В. К. Финна, [с. 7―16] |
|
2004 |
Вагин, Вадим Николаевич |
Достоверный и правдоподобный вывод в интеллектуальных системах / [Науч. ред. Поспелов Д. А.] |
|
2004 |
Swirydowicz, Kazimierz |
Podstawy logiki modalnej / Kazimierz Swirydowicz ; Uniwersitet im. Adama Mickiewicza w Poznaniu |
|
2002 |
|
Логические исследования / Рос. акад. наук. Ин-т философии; Редкол.: Карпенко А.С. (отв. ред.) и др. Вып. 9 |
|
2010 |
Карпенко, Анастасия Валерьевна (кандидат физико-математических наук ; род. 1986) |
Интерполяционные свойства в слабо тразитивных модальных логиках : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Карпенко Анастасия Валерьевна ; [Новосибирскиий государственный университет] |
|
2013 |
Кадыг-оол, Хулербен Кок-оолович |
Основные этапы развития и формирования современной модальной алетической логики : автореферат диссертации на соискание ученой степени кандидата философских наук : специальность 09.00.07 Логика / Кадыг-оол Хулербен Кок-оолович ; Московский государственный университет им. М. В. Ломоносова |
|
2018 |
Башмаков, Степан Игоревич |
Временные многоагентные логики и проблема унификации : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Башмаков Степан Игоревич ; [Сибирский федеральный университет] |
|
2021 |
Колмаков, Евгений Александрович |
Предикаты доказуемости и связанные с ними алгебры : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Колмаков Евгений Александрович ; Московский государственный университет им. М. В. Ломоносова |
|
2019 |
Вагин, Вадим Николаевич |
Знания и убеждения в интеллектуальном анализе данных / В. Н. Вагин |
|
2006 |
Горбунов, Игорь Анатольевич |
Модальные квазинормальные логики без независимой аксиоматизации : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Горбунов Игорь Анатольевич ; [Тверской государственный университет] |
|
2000 |
Карнап, Рудольф (1891—1970) |
Значение и необходимость = Meaning and necessity : Исслед. по семантике и модал. логике / Р.Карнап ; Пер. с англ. Н.В.Воробьева ; Общ. ред. Д.А.Бочвара ; Предисл. С.А.Яновской |
|
2008 |
|
Analysis and synthesis of logics : how to cut and paste reasoning systems / by Walter Carnielli [et al.] |
|
2015 |
Пахомов, Федор Николаевич |
Некоторые алгоритмические вопросы для полимодальных логик доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Пахомов Федор Николаевич ; [ФГБУН Математический институт им. В. А. Стеклова РАН] |
|
2015 |
Лукьянчук, Александра Николаевна |
Временная интранзитивная мульти-агентная логика: алгоритмы разрешимости, правила вывода : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Лукьянчук Александра Николаевна ; [Сибирский федеральный университет] |
|
2018 |
Смаллиан, Рэймонд (род. 1919) |
Вовеки неразрешимо : головоломное руководство по Геделю / Реймонд Смаллиан ; [перевод с английского П. И. Быстрова] |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ