Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Fernández-Duque, David
Statistics Math-Net.Ru
Total publications:
1
Scientific articles:
1
Presentations:
4
Number of views:
This page:
242
Abstract pages:
116
E-mail:
email
,
email
Website:
http://personal.us.es/dfduque/,
http://davidfernandez.co.nf/
https://www.mathnet.ru/eng/person56230
List of publications on Google Scholar
List of publications on ZentralBlatt
Publications in
Math-Net.Ru
Citations
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
15
Presentations in
Math-Net.Ru
1.
Provable well-orders and hyperarithmetical soundness
D. Fernández-Duque
Seminars "Proof Theory" and "Logic Online Seminar"
May 21, 2024
18:30
2.
Goodstein principles of intermediate strength
D. Fernández-Duque
Seminars "Proof Theory" and "Logic Online Seminar"
April 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
October 17, 2017
12:50
4.
Absolute completeness of
$\mathsf{S4}_u$
for its measure-theoretic semantics
David Fernández-Duque
The eighth International ņonference "Advances in Modal Logic" (AiML 2010)
August 24, 2010
11:45
Organisations
Université Paul Sabatier, Toulouse
University of Seville
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024