Fernández-Duque, David

4 publications

AAAI 2024 Dynamic Tangled Derivative Logic of Metric Spaces David Fernández-Duque, Yoàv Montacute

AAAI 2023 Untangled: A Complete Dynamic Topological Logic David Fernández-Duque, Yoàv Montacute

IJCAI 2019 Stratified Evidence Logics Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini

IJCAI 2011 Tangled Modal Logic for Spatial Reasoning David Fernández-Duque