David Fernández-Duque

128 papers A* 11A 2B 18C 7Misc 3Journal 83Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming. CoRR Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière, Torsten Schaub, Igor Stéphan
2026	J	`jnl`	Common Knowledge Always, Forever. CoRR Martín Diéguez, David Fernández-Duque
2026	J	`jnl`	The Complexity of the Constructive Master Modality. CoRR Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten
2025	B	`conf`	Exponential Lower Bounds on Definable Fixed Points. CSL Konstantinos Papafilippou, David Fernández-Duque
2025	J	`jnl`	Gödel-Dummett linear temporal logic. Artif. Intell. Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
2025	J	`jnl`	The topology of surprise. Artif. Intell. Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2025	J	`jnl`	Tree Rewriting Calculi for Strictly Positive Logics. CoRR Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten
2024	A*	`conf`	A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic. KR David Fernández-Duque, Brett McLean, Lukas Zenger
2024	B	`conf`	A Tree Rewriting System for the Reflection Calculus. AiML Sofía Santiago-Fernández, Joost J. Joosten, David Fernández-Duque
2024	J	`jnl`	A Walk with Goodstein. Bull. Symb. Log. David Fernández-Duque, Andreas Weiermann
2024	J	`jnl`	Constructive S4 modal logics with the finite birelational frame property. CoRR Philippe Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean
2024	A*	`conf`	Dynamic Tangled Derivative Logic of Metric Spaces. AAAI David Fernández-Duque, Yoàv Montacute
2024	J	`jnl`	Fixed point logics and definable topological properties. Math. Struct. Comput. Sci. David Fernández-Duque, Quentin Gougeon
2024	J	`jnl`	Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal. Ann. Pure Appl. Log. David Fernández-Duque, Andreas Weiermann
2024	B	`conf`	Logics of Polyhedral Reachability. AiML Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia
2024	J	`jnl`	Logics of polyhedral reachability. CoRR Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia
2024	B	`conf`	Modal Logics in Dynamical Systems. AiML David Fernández-Duque
2024	J	`jnl`	Taming the 'elsewhere': on Expressivity of Topological Languages. Rev. Symb. Log. David Fernández-Duque
2024	J	`jnl`	The Baire Closure and its Logic. J. Symb. Log. Guram Bezhanishvili, David Fernández-Duque
2024	B	`conf`	The Goldblatt-Thomason Theorem for Derivative Spaces. AiML Nick Bezhanishvili, David Fernández-Duque, Reihane Zoghifard
2023	A*	`conf`	A Family of Decidable Bi-intuitionistic Modal Logics. KR David Fernández-Duque, Brett McLean, Lukas Zenger
2023	J	`jnl`	Dynamic Cantor Derivative Logic. Log. Methods Comput. Sci. David Fernández-Duque, Yoàv Montacute
2023	J	`jnl`	Dynamic Tangled Derivative Logic of Metric Spaces. CoRR David Fernández-Duque, Yoàv Montacute
2023	A*	`conf`	Fixed Point Logics on Hemimetric Spaces. LICS David Fernández-Duque, Quentin Gougeon
2023	J	`jnl`	Gödel-Dummett linear temporal logic. CoRR Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
2023	J	`jnl`	The Topological Mu-Calculus: Completeness and Decidability. J. ACM Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2023	B	`conf`	The Universal Tangle for Spatial Reasoning. JELIA David Fernández-Duque, Konstantinos Papafilippou
2023	A*	`conf`	Untangled: A Complete Dynamic Topological Logic. AAAI David Fernández-Duque, Yoàv Montacute
2022	A*	`conf`	A Gödel Calculus for Linear Temporal Logic. KR Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
2022	J	`jnl`	A Gödel Calculus for Linear Temporal Logic. CoRR Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
2022	Misc	`conf`	A Non-hyperarithmetical Gödel Logic. LFCS Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque
2022	B	`ed.`	Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. AiML David Fernández-Duque, Alessandra Palmigiano, Sophie Pinchinat
2022	J	`jnl`	Arithmetical and Hyperarithmetical Worm Battles. J. Log. Comput. David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weiermann
2022	J	`jnl`	Complete intuitionistic Temporal Logics for Topological dynamics. J. Symb. Log. Joseph Boudou, Martín Diéguez, David Fernández-Duque
2022	J	`jnl`	Deducibility and independence in Beklemishev's autonomous provability calculus. Inf. Comput. David Fernández-Duque, Eduardo Hermo Reyes
2022	B	`conf`	Dynamic Cantor Derivative Logic. CSL David Fernández-Duque, Yoàv Montacute
2022	C	`conf`	Fixed Point Logics and Definable Topological Properties. WoLLIC David Fernández-Duque, Quentin Gougeon
2022	J	`jnl`	Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. Log. J. IGPL Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
2022	Misc	`conf`	Hyperarithmetical Worm Battles. LFCS David Fernández-Duque, Konstantinos Papafilippou, Joost J. Joosten
2022	J	`jnl`	Noetherian Gödel logics. J. Log. Comput. Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque
2022	A*	`conf`	The Topology of Surprise. KR Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2022	C	`conf`	Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. WoLLIC Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
2022	J	`jnl`	Time and Gödel: Fuzzy temporal reasoning in PSPACE. CoRR Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
2022	J	`jnl`	Untangled: A Complete Dynamic Topological Logic. CoRR David Fernández-Duque, Yoàv Montacute
2021	J	`jnl`	Bisimulations for Intuitionistic Temporal Logics. FLAP Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2021	C	`ed.`	Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings CiE Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque
2021	J	`jnl`	Dynamic Cantor Derivative Logic. CoRR David Fernández-Duque, Yoàv Montacute
2021	J	`jnl`	Exploring the Jungle of Intuitionistic Temporal Logics. Theory Pract. Log. Program. Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
2021	A*	`conf`	Some constructive variants of S4 with the finite model property. LICS Philippe Balbiani, Martín Diéguez, David Fernández-Duque
2021	J	`jnl`	Some constructive variants of S4 with the finite model property. CoRR Philippe Balbiani, Martín Diéguez, David Fernández-Duque
2021	A*	`conf`	The Topological Mu-Calculus: completeness and decidability. LICS Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2021	J	`jnl`	The Topological Mu-Calculus: completeness and decidability. CoRR Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
2021	J	`jnl`	To drive or not to drive: A logical and computational analysis of European transport regulations. Inf. Comput. Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten
2021	J	`jnl`	Who holds the best card? Secure communication of optimal secret bits. Australas. J Comb. Hans van Ditmarsch, David Fernández-Duque, Vaishnavi Sundararajan, S. P. Suresh
2020	C	`conf`	Ackermannian Goodstein Sequences of Intermediate Growth. CiE David Fernández-Duque, Andreas Weiermann
2020	J	`jnl`	Intuitionistic Linear Temporal Logics. ACM Trans. Comput. Log. Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2019	C	`conf`	A Self-contained Provability Calculus for Γ WoLLIC David Fernández-Duque, Eduardo Hermo Reyes
2019	B	`conf`	Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. JELIA Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
2019	J	`jnl`	Complete Intuitionistic Temporal Logics in Topological Dynamics. CoRR Joseph Boudou, Martín Diéguez, David Fernández-Duque
2019	J	`jnl`	Exploring the Jungle of Intuitionistic Temporal Logics. CoRR Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
2019	J	`jnl`	Intuitionistic Linear Temporal Logics. CoRR Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2019	A*	`conf`	Stratified Evidence Logics. IJCAI Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini
2019	J	`jnl`	The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. Stud Logica Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
2019	C	`conf`	The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. TIME Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten
2018	B	`conf`	An Intuitionistic Axiomatization of 'Eventually'. Advances in Modal Logic Martín Diéguez, David Fernández-Duque
2018	J	`jnl`	Axiomatic systems and topological semantics for intuitionistic temporal logic. CoRR Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
2018	J	`jnl`	Bisimulations for intuitionistic temporal logics. CoRR Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2018	B	`conf`	Frame-Validity Games and Absolute Minimality of Modal Axioms. Advances in Modal Logic Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
2018	J	`jnl`	Frame-validity games and lower bounds on the complexity of modal axioms. CoRR Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
2018	J	`jnl`	Succinctness in Subsystems of the Spatial μ-Calculus. FLAP David Fernández-Duque, Petar Iliev
2018	J	`jnl`	The intuitionistic temporal logic of dynamical systems. Log. Methods Comput. Sci. David Fernández-Duque
2018	J	`jnl`	The omega-rule interpretation of transfinite provability logic. Ann. Pure Appl. Log. David Fernández-Duque, Joost J. Joosten
2017	B	`conf`	A Decidable Intuitionistic Temporal Logic. CSL Joseph Boudou, Martín Diéguez, David Fernández-Duque
2017	J	`jnl`	A case study in almost-perfect security for unconditionally secure communication. Des. Codes Cryptogr. Esteban Landerreche, David Fernández-Duque
2017	A	`conf`	Exploring the Bidimensional Space: A Dynamic Logic Point of View. AAMAS Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
2017	J	`jnl`	Exploring the bidimensional space: A dynamic logic point of view. CoRR Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
2017	—	`book`	Logical Dynamics. David Fernández-Duque
2017	J	`jnl`	Predicativity through Transfinite Reflection. J. Symb. Log. Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten, Francisco Félix Lara Martín
2017	J	`jnl`	Strong Completeness of Provability Logic for Ordinal Spaces. J. Symb. Log. Juan P. Aguilera, David Fernández-Duque
2017	J	`jnl`	Verification logic. J. Log. Comput. Juan Pablo Aguilera Ozuna, David Fernández-Duque
2017	J	`jnl`	Worms and Spiders: Reflection Calculi and Ordinal Notation Systems. FLAP David Fernández-Duque
2016	A	`conf`	A Logical Theory of Belief Dynamics for Resource-Bounded Agents. AAMAS Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
2016	B	`conf`	Axiomatizing the lexicographic products of modal logics with linear temporal logic. Advances in Modal Logic Philippe Balbiani, David Fernández-Duque
2016	J	`jnl`	Perfectly secure data aggregation via shifted projections. Inf. Sci. David Fernández-Duque
2016	J	`jnl`	Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy. Discret. Appl. Math. David Fernández-Duque, Valentin Goranko
2016	B	`conf`	Verification logic: An arithmetical interpretation for negative introspection. Advances in Modal Logic Juan P. Aguilera, David Fernández-Duque
2015	J	`jnl`	A case study in almost-perfect security for unconditionally secure communication. CoRR Esteban Landerreche, David Fernández-Duque
2015	J	`jnl`	A fully card-safe protocol for securely aggregating distributed information. CoRR David Fernández-Duque
2015	J	`jnl`	A geometric protocol for cryptography with cards. Des. Codes Cryptogr. Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2015	J	`jnl`	Forgetting complex propositions. CoRR David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2015	J	`jnl`	Forgetting complex propositions. Log. J. IGPL David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2014	J	`jnl`	Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Log. Johan van Benthem, David Fernández-Duque, Eric Pacuit
2014	J	`jnl`	Non-finite axiomatizability of dynamic topological logic. ACM Trans. Comput. Log. David Fernández-Duque
2014	J	`jnl`	On Provability Logics with Linearly Ordered Modalities. Stud Logica Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten
2014	J	`jnl`	On the definability of simulation and bisimulation in epistemic logic. J. Log. Comput. Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek
2014	J	`jnl`	Secure aggregation of distributed information. CoRR David Fernández-Duque, Valentin Goranko
2014	J	`jnl`	The polytopologies of transfinite provability logic. Arch. Math. Log. David Fernández-Duque
2014	J	`jnl`	Well-orders in the transfinite Japaridze algebra. Log. J. IGPL David Fernández-Duque, Joost J. Joosten
2013	J	`jnl`	A colouring protocol for the generalized Russian cards problem. Theor. Comput. Sci. Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2013	J	`jnl`	A geometric protocol for cryptography with cards CoRR Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2013	J	`jnl`	Evidence and plausibility in neighborhood structures. CoRR Johan van Benthem, David Fernández-Duque, Eric Pacuit
2013	J	`jnl`	Hyperations, Veblen progressions and transfinite iteration of ordinal functions. Ann. Pure Appl. Log. David Fernández-Duque, Joost J. Joosten
2013	J	`jnl`	Models of transfinite provability logic. J. Symb. Log. David Fernández-Duque, Joost J. Joosten
2012	J	`jnl`	A colouring protocol for the generalized Russian cards problem CoRR Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2012	J	`jnl`	A modal framework for modelling abductive reasoning. Log. J. IGPL Fernando Soler-Toscano, David Fernández-Duque, Ángel Nepomuceno-Fernández
2012	J	`jnl`	A secure additive protocol for card players. Australas. J Comb. Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2012	J	`jnl`	A sound and complete axiomatization for Dynamic Topological Logic CoRR David Fernández-Duque
2012	J	`jnl`	A sound and complete axiomatization for Dynamic Topological Logic. J. Symb. Log. David Fernández-Duque
2012	J	`jnl`	Dynamic topological logic of metric spaces. J. Symb. Log. David Fernández-Duque
2012	B	`conf`	Evidence Logic: A New Look at Neighborhood Structures. Advances in Modal Logic Johan van Benthem, David Fernández-Duque, Eric Pacuit
2012	B	`conf`	Kripke Models of Transfinite Provability Logic. Advances in Modal Logic David Fernández-Duque, Joost J. Joosten
2012	B	`conf`	Non-finite Axiomatizability of Dynamic Topological Logic. Advances in Modal Logic David Fernández-Duque
2012	J	`jnl`	Non-finite axiomatizability of Dynamic Topological Logic CoRR David Fernández-Duque
2012	J	`jnl`	Tableaux for structural abduction. Log. J. IGPL Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández-Duque
2012	J	`jnl`	Tangled modal logic for topological dynamics. Ann. Pure Appl. Log. David Fernández-Duque
2012	C	`conf`	Turing Progressions and Their Well-Orders. CiE David Fernández-Duque, Joost J. Joosten
2011	J	`jnl`	A secure additive protocol for card players CoRR Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2011	J	`jnl`	Dynamic Topological Logic Interpreted over Minimal Systems. J. Philos. Log. David Fernández-Duque
2011	—	`conf`	On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. CLIMA Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek
2011	J	`jnl`	On the Modal Definability of Simulability by Finite Transitive Models. Stud Logica David Fernández-Duque
2011	—	`conf`	Preface. M4M/LAMAS Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego
2011	—	`ed.`	Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011 M4M/LAMAS Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego
2011	Misc	`conf`	Secure Communication of Local States in Interpreted Systems. DCAI Michael H. Albert, Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2011	A*	`conf`	Tangled Modal Logic for Spatial Reasoning. IJCAI David Fernández-Duque
2010	B	`conf`	Absolute Completeness of S4 Advances in Modal Logic David Fernández-Duque
2009	J	`jnl`	Non-deterministic semantics for dynamic topological logic. Ann. Pure Appl. Log. David Fernández-Duque
2007	J	`jnl`	Dynamic Topological Completeness for R Log. J. IGPL David Fernández-Duque
2006	J	`jnl`	A polynomial translation of S4 into intuitionistic logic. J. Symb. Log. David Fernández-Duque