María Manzano (manzano)

My contributions to Philosophie.ch

Bibliography

Alonso, Enrique and Manzano, Marı́a. 2005. “Diagonalisation and Church’s Thesis: Kleene’s Homework.” History and Philosophy of Logic 26(2): 93–113.
Manzano, Marı́a. 1995. Extensions of First-Order Logic. Cambridge: Cambridge University Press.
Manzano, Marı́a. 1999. Model Theory. Oxford Logic Guides n. 37. Oxford: Oxford University Press.
Manzano, Marı́a and Alonso, Enrique. 2014. “Completeness: from Gödel to Henkin.” History and Philosophy of Logic 35(1): 50–75.
Manzano, Marı́a and Alonso, Enrique. 2015. “Visions of Henkin.” Synthese 192(7): 2123–2138.
Manzano, Marı́a and Aranda, Vı́ctor. 2022. “Many-Sorted Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2022/entries/logic-many-sorted/.
Sierra, Carles, Godo, Lluı́s, López de Mántaras, R. and Manzano, Marı́a. 2002. “A Descriptive Dynamic Logic and its Application to Reflective Architectures.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments, edited by John-Jules Ch. Meyer and Jan Treur, pp. 197–220. Dordrecht: Kluwer Academic Publishers.