David Fernández-Duque
3 papers · 2019–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Bronze
Research topics
Keywords
dynamical system
(2)
dynamic topological logic
(2)
metric space
(1)
temporal logic
(1)
fixed-point operator
(1)
modal logic
(1)
spatial logic
(1)
evidence logics
(1)
neighbourhood structure
(1)
deductive calculus
(1)
propositional reasoning
(1)
topological mu-calculus
(1)
cantor derivative
(1)
belief revision
(1)
scattered space
(1)
fixed point
(1)