The following pages link to David Fernández-Duque (Q385071):
Displaying 27 items.
- Models of transfinite provability logic (Q5300077) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- Dynamic topological logic of metric spaces (Q5388732) (← links)
- Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)
- (Q5419874) (← links)
- (Q5419879) (← links)
- (Q5869540) (← links)
- Noetherian Gödel logics (Q5872863) (← links)
- Arithmetical and Hyperarithmetical Worm Battles (Q5872868) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
- THE BAIRE CLOSURE AND ITS LOGIC (Q6123578) (← links)
- (Q6124951) (← links)
- TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES (Q6131227) (← links)
- Dynamic Cantor Derivative Logic (Q6137850) (← links)
- Fixed point logics and definable topological properties (Q6149964) (← links)
- A WALK WITH GOODSTEIN (Q6204143) (← links)
- Worms and Spiders: Reflection calculi and ordinal notation systems (Q6274056) (← links)
- Succinctness in subsystems of the spatial mu-calculus (Q6290036) (← links)
- Axiomatic systems and topological semantics for intuitionistic temporal logic (Q6299024) (← links)
- Bisimulations for intuitionistic temporal logics (Q6299025) (← links)
- Deducibility and Independence in Beklemishev's Autonomous Provability Calculus (Q6348066) (← links)
- Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal (Q6505601) (← links)
- Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal (Q6560988) (← links)
- A walk with Goodstein and Ackermann (Q6589313) (← links)
- Correction to: ``Arithmetical and hyperarithmetical worm battles'' (Q6636671) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)
- A tree rewriting system for the Reflection Calculus (Q6737087) (← links)
