David Fernández-Duque
3 papers · 2019–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (2)
IJCAI (1)
Keywords
dynamic topological logic
(2)
dynamical system
(2)
metric space
(1)
temporal logic
(1)
modal logic
(1)
spatial logic
(1)
fixed point operator
(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)