Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Fernández-Duque David
В базах данных Math-Net.Ru
Публикаций:
1
Научных статей:
1
Лекций и докладов:
4
Статистика просмотров:
Эта страница:
295
Страницы публикаций:
130
E-mail:
email
,
email
Сайт:
http://personal.us.es/dfduque/,
http://davidfernandez.co.nf/
https://www.mathnet.ru/rus/person56230
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Публикации в базе данных
Math-Net.Ru
Цитирования
2014
1.
L. D. Beklemishev, D. Fernández-Duque, J. J. Joosten, “On provability logics with linearly ordered modalities”,
Studia Logica
,
102
:3 (2014),
541–566
16
Доклады и лекции в базе данных
Math-Net.Ru
1.
Provable well-orders and hyperarithmetical soundness
D. Fernández-Duque
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
21 мая 2024 г.
18:30
2.
Goodstein principles of intermediate strength
D. Fernández-Duque
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
6 апреля 2020 г.
18:30
3.
Caristi's fixed point theorem, non-monotone inductive definitions, and relativized leftmost paths
D. Fernández-Duque
Workshop on Proof Theory, Modal Logic and Reflection Principles
17 октября 2017 г.
12:50
4.
Absolute completeness of
$\mathsf{S4}_u$
for its measure-theoretic semantics
David Fernández-Duque
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
24 августа 2010 г.
11:45
Организации
Université Paul Sabatier, Toulouse
University of Seville
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024