E-LIB Suche - Ergebnisse für: Fernández-Duque, David

1

A WALK WITH GOODSTEIN:

FERNÁNDEZ-DUQUE, DAVID ; WEIERMANN, ANDREAS
The Bulletin of Symbolic Logic. , 2024

Link: https://doi.org/10.1017/..

2

Fundamental sequences and fast-growing hierarchies for the ..:

Fernández-Duque, David ; Weiermann, Andreas
Annals of Pure and Applied Logic. 175 (2024) 8 - p. 103455 , 2024

Link: https://doi.org/10.1016/..

3

A WALK WITH GOODSTEIN:

FERNÁNDEZ-DUQUE, DAVID ; WEIERMANN, ANDREAS
The Bulletin of Symbolic Logic. 30 (2024) 1 - p. 1-19 , 2024

Link: https://www.jstor.org/st..

4

The Topological Mu-Calculus: Completeness and Decidability:

Baltag, Alexandru ; Bezhanishvili, Nick ; Fernández-Duque, David
Journal of the ACM. 70 (2023) 5 - p. 1-38 , 2023

Link: https://doi.org/10.1145/..

5

The Universal Tangle for Spatial Reasoning:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Fernández-Duque, David ; Papafilippou, Konstantinos - p. 814-827 , 2023

Link: https://doi.org/10.1007/..

6

Fixed point logics and definable topological properties:

Fernández-Duque, David ; Gougeon, Quentin
Mathematical Structures in Computer Science. 34 (2023) 2 - p. 81-97 , 2023

Link: https://doi.org/10.1017/..

7

Fixed Point Logics on Hemimetric Spaces:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Fernandez-Duque, David ; Gougeon, Quentin - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

8

Dynamic Cantor Derivative Logic:

Fernández-Duque, David ; Montacute, Yoàv
Logical Methods in Computer Science. 19, Issue 4 (2023) - p. , 2023

Link: https://doi.org/10.46298..

9

TAMING THE 'ELSEWHERE': ON EXPRESSIVITY OF TOPOLOGICAL LANG..:

FERNÁNDEZ-DUQUE, DAVID
The Review of Symbolic Logic. 17 (2022) 1 - p. 144-153 , 2022

Link: https://doi.org/10.1017/..

10

Arithmetical and Hyperarithmetical Worm Battles:

FernÁndez-Duque, David ; Joosten, Joost J ; Pakhomov, Fedor..
Journal of Logic and Computation. 32 (2022) 8 - p. 1558-1584 , 2022

Link: https://doi.org/10.1093/..

11

Fixed Point Logics and Definable Topological Properties:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Fernández-Duque, David ; Gougeon, Quentin - p. 36-52 , 2022

Link: https://doi.org/10.1007/..

12

Decidability for $$\mathsf S4$$ Gödel Modal Logics:

, In: Computational Intelligence and Mathematics for Tackling Complex Problems 4; Studies in Computational Intelligence,

Diéguez, Martín ; Fernández-Duque, David - p. 1-7 , 2022

Link: https://doi.org/10.1007/..

13

Deducibility and independence in Beklemishev's autonomous p..:

Fernández-Duque, David ; Hermo-Reyes, Eduardo
Information and Computation. 287 (2022) - p. 104758 , 2022

Link: https://doi.org/10.1016/..

14

COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYN..:

BOUDOU, JOSEPH ; DIÉGUEZ, MARTÍN ; FERNÁNDEZ-DUQUE, DAVID
The Journal of Symbolic Logic. 87 (2022) 3 - p. 995-1022 , 2022

Link: https://doi.org/10.1017/..

15

Noetherian Gödel logics:

Aguilera, Juan Pablo ; Bydžovský, Jan ; Fernández-Duque, David
Journal of Logic and Computation. 32 (2022) 8 - p. 1487-1503 , 2022

Link: https://doi.org/10.1093/..