David Fernández-Duque (fernandezduque)

Contributions to Philosophie.ch

Bibliography

Aguilera, Juan Pablo and Fernández-Duque, David. 2016. “Verification Logic: An Arithmetical Interpretation for Negative Introspection.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 1–20. London: King’s College Publications.
Balbiani, Philippe and Fernández-Duque, David. 2016. “Axiomatizing the Lexicographic Products of Modal Logics with Linear Temporal Logic.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 78–96. London: King’s College Publications.
van Benthem, Johan, Fernández-Duque, David and Pacuit, Eric. 2012. “Evidence Logic: A New Look at Neighborhood Structures.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 97–118. London: King’s College Publications.
Fernández-Duque, David. 2010. “Absolute Completeness of S4u for Its Measure-Theoretic Semantics.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 100–119. London: King’s College Publications.
Fernández-Duque, David. 2012. “Non-Finite Axiomatizability of Dynamic Topological Logic.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 200–216. London: King’s College Publications.
Fernández-Duque, David and Joosten, Joost J. 2012. “Kripke Models of Transfinite Provability Logic.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 185–199. London: King’s College Publications.