María Manzano Arjona

**María Gracia Manzano Arjona**  ye caderalga de Lóxica y Filosofía de la ciencia na Universidá de Salamanca. Becaria Fullbright senior el cursu 1977-1978, en Berkeley, y profesor visitante na Universidá de Stanford.

Amás, foi la coordinadora del Máster en Lóxica y Filosofía de la ciencia na Universidá de Salamanca.

## Obres
Autora de múltiples publicaciones, tantu de llibros, como capítulos de llibru o artículos, toos venceyaos cola área de Lóxica. Dalgunes de les sos publicaciones son:

**Dellos llibros**
* *The Life and Work of Leon Henkin: Essays on His Contributions*. Manzano, M., Sain, I., Alonso, Y. (eds) Springer. 2014.
* *Lóxica, Lóxiques y Logicidad*. College Publications. London [en preparación].
* *Extensions of First-Order Logic*. Cambridge University Press. Cambridge: O.K., 2005 (paperback).
* *Lóxica pa primerices*, con Antonia Huertas. Alianza Editorial, S.A. Madrid, España, 2004, 2005 y 2006.
* *Model Theory*. Oxford University Press. Oxford: O.K., 1999.
* *Teoría de Modelos*. Alianza Editorial, S.A. Madrid, España, 1989 (escosu).
* *Teoría de Tipos*. Ediciones Universidad de Barcelona Barcelona, España, 1980.
* *Sistemes Entemedios*. Fundación Juan March: Serie Universitaria. Madrid, España, 1978.

**Dellos artículos y capítulos de llibros**
* “A Semantics for Equational Hybrid Propositional Type Theory”. [2014]. con Martins, M. y Huertas, A. Bulletin of the Section of Logic. Łódź University Press. 43:3/4 Páxines 121-138 
* “Visions of Henkin”. [2014], con Alonso, Y. Synthese. Editorial: Springer. (DOI) 10.1007/s11229-013-0389-7
* “Completeness of Hybrid Type Theory”. [2014], con Areces, C. Blackburn, P. y Huertas, A. doi.org/10.1007/s10992-012-9260-4. Journal of Philosophical Logic. Editorial: Springer. 
* “Completeness: from Gödel to Henkin”. [2013], con Alonso, Y. DOI: 10.1080/01445340.2013.816555. History and Philosophy of Logic. Editorial: Taylor and Francis.London. O.K. 
* “Hybrid Type Theory, A Quarted in Four Movements”, con Areces, C. y Blackburn, P. Huertas. *Principia: an international journal of epistemology*, , Vol. 15, Nᵘ 2, 2011 , páxs. 225-247
* “Argumentos ontolóxicos” [2010], con Moreno, M.C. SO PALLABRA. Revista de Filosofía. II Dómina, nᵘ 5  (2010: 433-448)
* “Logic and Fiction”. Henrique Jales Ribeiro (Ed.) [2012]. *Inside Arguments: Logic and the Study of Argumentation*. Newcastle upon Tyne(UK): Cambridge Scholars Publishing. ISBN (10): 1-4438-3880-2, ISBN (13): 978-1-4438-3880-1
* "Lóxica d'orde cimeru" [2008], en *Filosofía de la Lóxica*. María José Frápolli, editora. Tecnos. Madrid. España. 
* "Teoría de Modelos" [2010] en *Diccionariu de Lóxica, Argumentación y Retórica*. Luis Vega Reñón, editor. Editorial Trotta. 
* "Magical Diagonalisation", con Enrique Alonso [2009]. En *Dimensions of Logical Concepts*. J.-Y. Béziau and A. Mariña-Leite, eds. Coleção CLE, v.54, UNICAMP.
* "Llión Henkin", con Enrique Alonso [2007], en *Lóxica, Filosofía del Llinguaxe y de la Lóxica*. A. Nepomuceno, F. J. Salguero, F. Soler editores. Mergablum. Sevilla. 
* "Razonamientu formal" [2006], en *50 años de la Intelixencia Artificial*. Antonio Fernández Caballero y Sergio Miguel Tomé eds. Albacete: España.
* "Diagonalization and Church's Thesis: Kleene's Homework", con Enrique Alonso. [2005] *HPL* (History and Philosophy of Logic) Taylor & Francis. O.K.
* "Introduction to Many-sorted logic" en *Many Sorted Logic and its Applications*. Tucker and Meinke eds. John Wiley and Sons. Chichester: O.K.
* "Diverxencia y rivalidá ente lóxiques". En *Enciclopedia Iberoamericana de Filosofía*. Volume 27 de Filosofía de la Lóxica. Raúl Orayen y Alberto Moretti eds. Trotta. España.
* Editorial "Tools for Teaching Logic" con Hans van Ditmarsch, en *Special issue Logic Journal of the IGPL*. Oxford University Press 
* "¿Qué ye esa cosa llamada lóxica?”. En *Representación y logicidad*. A. Nepomuceno ed. Fénix Editora. Sevilla. 
* "A fashionable Partial and Heterogeneous mirror for Modality", con Antonia Huertas en *JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthay*. Jelle Gerbrandy *et alt* eds. Amsterdam University Press. Amsterdam
* "The Little Mermaid" [1998], en *Truth in Perspective*. Concepción Martinez, *et alt*, eds. Ashgate. Aldershot (O.K). 
* "Descriptive Dynamic Logic and and its Applications to Reflective Architectures” [1998], con Sierra, L. Godu, R. Lopez de Mantaras. In: *Handbook of Fuzzy Computation*. Oxford University Press, * 
"Life, Work and some Miracles of Alonzo Church" [1997] En *The Journal of History and Philosophy of Logic*. Taylor and Francis.London. O.K.

## Referencies

## Enllaces esternos
* Páxina web personal. 
* Ficha personal en Epiménides, web oficial del Máster en Lóxica y Filosofía de la ciencia.