David Fernández–Duque

Evidence and plausibility in neighborhood structures

Johan van Benthem, David Fernández–Duque, Eric Pacuit · Annals of Pure and Applied Logic · 2013 · 67 citations

Housing, Community Structure, Urban Geography +4

Evidence Logic: A New Look at Neighborhood Structures

Johan van Benthem, David Fernández–Duque, Eric Pacuit · 2012 · 51 citations · Full text

On Provability Logics with Linearly Ordered Modalities

Lev D. Beklemishev, David Fernández–Duque, Joost J. Joosten · Studia Logica · 2013 · 33 citations

Engineering, Substructural Logic, Automated Reasoning +6

The Dynamics of Epistemic Attitudes in Resource-Bounded Agents

Philippe Balbiani, David Fernández–Duque, Emiliano Lorini · Studia Logica · 2018 · 31 citations · Full text

Cognitive Science, Agent Decision-making, Behavioral Decision Making +7

Intuitionistic Linear Temporal Logics

Philippe Balbiani, Joseph Boudou, Martín Diéguez et al. · ACM Transactions on Computational Logic · 2019 · 24 citations · Full text

Persistent Posets, Non-classical Logic, Cognitive Science +12