|
|||||
| Contribuciones a Congresos Autores: Manzano, M. Título: Existence, Denotation and Equality in Hybrid Partial Type Theory. Tipo de participación: expositor invitado. Congreso: FORMAL METHODS AND SCIENCE IN PHILOSOPHY III. Conference Lugar celebración: Dubrovnik, Croacia Fecha: Abril 2019 Autores: Manzano, M. y Moreno, M. C. Título: Quantifiers and Conceptual Existence. Tipo de participación: ponente en Bunge Symposium Congreso: CLMPST2019: 16TH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY Lugar celebración: Praga, República Checa Fecha: Agosto 2019 Autores: Manzano, M. Título: Verdad y demostración. Tipo de participación: expositor invitado Congreso: Más Temáticas Lugar celebración: Salamanca Fecha: Marzo 2019 Autores: Manzano, M. Título: Hybrid Partial Type Theory. Tipo de participación: expositor internacional Congreso: Non-Classical Logic.Theory and Applications. Conference Lugar celebración: Torun, Polonia Fecha: Septiembre 2018 Autores: Manzano, M. Título: Nominalism and Metalogical Issues in Equational Hybrid Propositional Type Theory. Tipo de participación: Conferencia magistral. Congreso: XVII SLALM Lugar celebración: Puebla. México Fecha: 26-30 Junio 2017 Autores: Manzano, M. Título: Identity, Equality, Nameability and Completness. Tipo de participación: Conferencia magistral de clausura Congreso: PhDs in Logic IX, Ruhr-University Bochum, Germany, Lugar celebración: Bochum, Alemania Fecha: 2-4 Mayo 2017 Manzano, M. Título: Leon Henkin on Completeness. Tipo de participación: Conferencia Magistral Congreso: PhDs in Logic IX, Ruhr-University Bochum, Germany, Lugar celebración: Bochum, Alemania Fecha: 2-4 Mayo 2017 Autores: Manzano, M. Título: ěLeón Henkin y sus proyectos didácticosî. Tipo de participación: Conferencia Magistral Inaugural Congreso: XIX Encuentro Internacional de Didáctica de la Lógica (EIDL), México. Lugar celebración: Ciudad de México. México Fecha: 15-18 Noviembre 2016 Autores: Manzano, M. Título: Identity, Equality, Nameability and Completeness. Tipo de participación: expositor internacional invitado. Congreso: 8th International Conference Non-classical Logic: Theory and Aplications. Lugar celebración: Lodz University. Polonia Fecha: 5-7 Septiembre 2016 Autores: Manzano, M. Título: Leon Henkin on Completeness. Tipo de participación: expositor internacional invitado. Congreso: 5th Congress and School on Universal Logic. Publicación: Actas del congreso Lugar celebración: Estambul, Turquía Fecha: 20-30 Junio 2015 Autores: Casas-Roma, J., Huertas, A., Manzano, M. And Rodríguez, E. Título: Intensionality: Uncomfortable but Necessary in the History of Logic. Tipo de participación: expositor internacional invitado. Congreso: 5th Congress and School on Universal Logic Publicación: Actas del congreso Lugar celebración: Estambul, Turquía Fecha: 20-30 Junio 2015 Autores: Manzano, M. Título: The Roles Leon Henkin Played in Mathematics Education. Tipo de participación: expositor internacional invitado. Congreso: Tools for Teaching Logic 2015 Publicación: Actas del congreso Lugar celebración: Rennes, Francia. Fecha: 9-12 Junio 2015 Autores: Casas-Roma, J., Huertas, A., Manzano, M. And Moreno, M.C. Título: Intensional Logic Reloaded. Tipo de participación: expositor internacional invitado Congreso: VII CONGRESO DE LA SOCIEDAD DE LÓGICA, METODOLOGÍA Y FILOSOFÍA DE LA CIENCIA EN ESPAÑA Publicación: Actas del congreso. Lugar celebración: Barcelona, España. Fecha: 7-10 Julio 2015 Autores: Manzano, M. Título: La presencia de los teoremas de completud en la obra de Leon Henkin. Tipo de participación: expositor internacional invitado. Congreso: Jornadas Rolando Chuaqui Publicación: Actas del congreso Lugar celebración: Concepción, Chile. Fecha: 4-6 Diciembre 2013 Autores: Manzano, M. Martins, M. Huertas, A. Título: Equational hybrid logic: reducing logical symbols to equality and abstraction. Tipo de participación: ponencia. Congreso: Logic Colloquium 2013. Publicación: Actas del congreso. Lugar celebración: Évora, Portugal. Fecha: 22-27 Julio 2013 Autores: Manzano, M Título: La Tesis de Church-Turing. Tipo de participación: ponencia invitada. Congreso: Año Turing. Publicación: no hubo Lugar de celebración: UNAM. Mexico. Fecha: 2 abril 2013 Autores: Manzano, M Título: Lógica y Ficción. Tipo de participación: ponencia invitada. Congreso: Seminario de Lógica. Lugar: Brasilia, Brasil. Fecha: 15 abril 2013 Autores: Manzano, M. Título: Lógica y Ficción. Tipo de participación: ponencia invitada. Congreso: Seminario de Lógica. Lugar: Goiania, Brasil. Fecha: 12 abril 2013 Autores (p.o. de firma): Manzano, M. Título: The Concept of Subset in Second Order Logic. Workshop: Between First and Second Order Logic. UNILOG 2013. Fecha: 2013 Autores (p.o. de firma): Manzano, M. Martins, M. Huertas, A. Título: Identity as a Primitive in Equational Hybrid Logic. UNILOG 2013. Fecha: 2013 Autores (p.o. de firma): Manzano, M. Urtubey, L. Título: Completeness, Translations and Logicality. UNILOG 2013 Fecha: 2013 Autores (p.o. de firma): Manzano, M. Martins, M. Huertas, A. Título: Equational Hybrid Type Theory. Congreso: AiML 2012, Copenhague. Fecha: 2012 Autores (p.o. de firma): Manzano, M. Alonso, E. Título: Henkin on Completeness. Congreso: 8th Scandinavian Logic Symposium. Copenhague. Fecha: 2012 Autores (p.o. de firma): Manzano, M. Moreno, M. Título: All identicals are equal, but some equals are more equal than others. Congreso: 8th Scandinavian Logic Symposium. Copenhague Fecha: 2012 Autores (p.o. de firma): Manzano, M. Título: Our Beloved Leon Henkin. Congreso: First International Conference on Logic and Relativity: honoring István Németi's 70th birthday. Budapest. Fecha: 2012 Autores (p.o. de firma): Manzano, M. Título: Logic and Fiction. Inside Arguments. Coimbra. Portugal. Fecha: 24-26 marzo de 2011. Autores (p.o. de firma): Blackwell, P. , Manzano, M., Areces, C. y Huertas, A. Título: The Bird of Hybrid Type Theory. Congreso:14th Congress of Lógic, Methodology and Philosophy of Science. Fecha: 19-24 Julio 2011. Autores (p.o. de firma): Manzano, M. Título: Nociones de completud. Simposio Internacional de Lógica, VII Congreso Nacional de Filosofía. Caracas. Venezuela. Fecha: 1-4 junio de 2010 Autores (p.o. de firma): Manzano, M. y Urtubey, L. Título: Completeness and Interpolation with a standard abstract consequence relation. Handbook of the World Congress on Universal Logic and School III. Beziau y otros eds. http://www.uni-log.org/start3.html Unilog 2010 Fecha: 2010 Autores (p.o. de firma): María Manzano y Enrique Alonso Título: Completeness: actors, history and meaning. Handbook of the World Congress on Universal Logic and School III. Beziau y otros eds. http://www.uni-log.org/start3.html Unilog 2010. Fecha: 2010 Autores (p.o. de firma): María Manzano. Título: Completud y Leon Henkin En Actas del VI Congreso Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, ISBN 978-84-370-7655-3, páginas 85-90. Valencia. Fecha: Agosto 2009 Autores (p.o. de firma): María Manzano Título: Hybrid Type Theory. Science, Truth and Consistency: abstract of the CLE/AIP Event. Centre for Logic, Epistemology and History of Science. Campinas, Brasil. ISBN 978-85-86497-06-7 Fecha: Agosto 2009 Autores: María Manzano Título: Lógica y Ficción (Razonamiento Formal) Tipo de participación: Conferencia magistral Congreso: XI Encuentro Internacional de Didáctica de la Lógica Lugar celebración: Universidad de la Sierra del Sur, en la ciudad de Miahuatlán, Oaxaca. México Fecha: Noviembre de 2008 Autores: María Manzano y Enrique Alonso Título: Leon Henkin Tipo de participación: Conferencia Congreso: Universal Logic Publicación: Actas del Congreso Lugar celebración: Xian (China) Fecha: Agosto de 2007 Autores: María Manzano y Julio Ostalé Título: Three levels of translation into many-sorted logic Tipo de participación: Conferencia Congreso: Universal Logic Publicación: Actas del Congreso Lugar celebración: Xian (China) Fecha: Agosto de 2007 Autores: María Manzano Título: Summa Logicae Tipo de participación: Conferencia Congreso: Second International Congress on Tools for Teaching Logic Publicación: http://logicae.usal.es Lugar celebración: Salamanca Fecha: Septiembre de 2006 Autores: María Manzano Título: Razonamiento Formal Tipo de participación: Conferencia invitada Congreso: 50 Años de la Inteligencia Artificial Publicación: 50 Años de la Inteligencia Artificial Lugar celebración: Albacete Fecha: Julio de 2006 Autores: María Manzano Título: ¿Qué es esa cosa llamada lógica? Tipo de participación: Conferencia en simposio Representación y logicidad Congreso: II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología Publicación: Representación y logicidad Lugar celebración: La Laguna Fecha: Septiembre de 2005 Autores: Antonia Huertas y María Manzano Título: Lógicas para la red Tipo de participación: Comunicación Historia y Filosofía de la Lógica Congreso: II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología Publicación: Actas del Congreso Lugar celebración: La Laguna Fecha: Septiembre de 2005 Autores: María Manzano Título: Mouse Soup Tipo de participación: Conferencia en simposio Decisiones ante el futuro de la red Congreso: II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología Publicación: http://logicae.usal.es Lugar celebración: La Laguna Fecha: Septiembre de 2005 Autores: María Manzano Título: C@lculus Tipo de participación: Conferencia en Workshop Congreso: Workshop Publicación: http://logicae.usal.es Lugar celebración: Amsterdam Fecha: Junio de 2005 Autores: Enrique Alonso y María Manzano Título: Magical Diagonalization Tipo de participación: Conferencia Congreso: Universal Logic Publicación: Actas del Congreso Lugar celebración: Montreux (Suiza) Fecha: Abril de 2005 Autores: María Manzano Título: Lógicas modales hoy Tipo de participación: Conferencia Congreso: Jornadas de homenaje a Miguel Sánchez Mazas Lugar celebración: Madrid Fecha: Marzo de 2005 Autores: María Manzano y Enrique Alonso Título: Summa Logicae Tipo de participación: Conferencia (y coordinadora de Simposio C@lculus) Congreso: IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España Publicación: Actas del Congreso Lugar celebración: Valladolid Fecha: Noviembre de 2004 Autores: María Manzano, Gustavo Santos y Antonia Huertas Título: Lógica modal con MAUDE Tipo de participación: Conferencia Congreso: IV Congerso de la sociedad de lógica, filosofía y metodología de la ciencia en España Publicación: Actas del Congreso Lugar celebración: Valladolid Fecha: Noviembre de 2004 Autores: Antonia Huertas, María Manzano y Gustavo Santos Título: Un cálculo heterogéneo parcial para lógica modal de predicados Tipo de participación: Conferencia Congreso: IV Congerso de la sociedad de lógica, filosofía y metodología de la ciencia en España Publicación: Actas del Congreso Lugar celebración: Valladolid Fecha: Noviembre de 2004 Autores: María Manzano Título: Materiales de Lógica para principiantes Tipo de participación: Conferencia Congreso: VII Encuentro Internacional de Didáctica de la Lógica Publicación: CD de Actas del Congreso Lugar celebración: Uruapan (Mexico) Fecha: Noviembre de 2004 |
|||||
|
|
|||||
|
|||||
| - | |||||
| Autores: María Manzano Título: La lógica como materia interdisciplinar: ARACNE Tipo de participación: Conferencia invitada Congreso: Taller de didáctica de la lógica Lugar celebración: México DF Fecha: Septiembre 2000 Autores: María Manzano Título: La identidad y la igualdad en la lógica de orden superior Tipo de participación: Conferencia invitada Congreso: Primer Congreso iberoamericano de filosofía de la ciencia y la tecnología Publicación: Actas del Congreso Lugar celebración: Morelia. México Fecha: Septiembre 2000 Autores: María Manzano Título: ARACNE. Tipo de participación: Conferencia (y organización). Congreso: First International Congress on Tools for Teaching Logic Publicación: Actas del Congreso. Lugar celebración: Universidad de Salamanca Fecha: Junio 2000 Autores: María Manzano Título: Wanted! Demostrador de teoremas para lógica heterogénea Tipo de participación: Conferencia invitada Congreso: Primer congreso anual de la Real Sociedad Matemática Española Publicación: Actas del Simposio Lugar celebración: Madrid Fecha: 29 de Enero de 2000 Autores: María Manzano Título: Mi tarea virtual para el nuevo milenio Tipo de participación: Conferencia invitada Congreso: V Congreso Nacional de Filosofía y I Coloquio Nacional de Lógica. Lugar celebración: Universidad Central de Venezuela, Caracas Fecha: Noviembre 1999 Autores: María Manzano Título: Tools for teaching Logic Tipo de participación: Conferencia invitada Congreso: II Workshop in Tools for Teaching Logic Lugar celebración: Recife, Brasil Fecha: Septiembre 1999 Autores: María Manzano Título: Lambda Abstractor was Philosopher's Stone for Alonzo Church. Tipo de participación: Comunicación (y Presidencia de Sección) Congreso: 11 International Congress of Logic, Methodology and Philosophy of Science Publicación: Actas del Congreso Lugar celebración: Cracovia Fecha: 20-26 de Agosto de 1999 Autores: María Manzano, Antonia Huertas Título: A fashionable Partial and Heterogeneous mirror for Modality Tipo de participación: Conferencia invitada Congreso: II Encuentro: Modalidad y Parcialidad Lugar celebración: Madrid. Fecha: 20-21 de Abril de 1999 Autores: María Manzano Título: Logic in the boundaries with Computer Science: a historical example Tipo de participación: Conferencia invitada Congreso: I Workshop in TOOLS FOR TEACHING LOGIC Lugar celebración:. Udine (Italia). Fecha: 13-18 de Febrero de1999 Autores: María Manzano Título: Lógicas Multiespecie: Fundamentos y Aplicaciones Tipo de participación: Curso diez horas Congreso: IV Escuela de Verano de Lógica Lugar celebración: San Sebastián Fecha: Julio 1998 Autores: María Manzano Título: Vida, obra y algunos milagros de Alonzo Church Tipo de participación: Conferencia invitada (y presidencia sesión 14) Congreso: I Congreso Iberoamericano de Filosofía. Proyección de la lógica en la filosofía contemporánea Publicación: Actas del Congreso Lugar celebración: Madrid y Cáceres Fecha: 21 al 26 de Septiembre de 1998 Autores: María Manzano Título: La lógica, materia central y aglutinante de los instrumentos de educación interdisciplinar Tipo de participación: Comunicación (y presidencia sesión 14) Congreso: I Congreso Iberoamericano de Filosofía. Publicación: Actas del Congreso Lugar celebración: Madrid y Cáceres Fecha: 21 al 26 de Septiembre de 1998 Autores: María Manzano Título: Lógica clásica y lógicas no clásicas: sus métodos Tipo de participación: Conferencia invitada Congreso: Métodos Científicos. Lugar celebración: Facultad de Humanidades Universidad de la Coruña. Ferrol Fecha: Mayo. 1998. Autores: María Manzano y Aitor Mata Título: Los Enigmas de Ulises Tipo de participación: Comunicación Congreso: Jornadas sobre: Matemáticas y su enseñanza (Cátedra Miguel Sanchez Mazas) Publicación: Actas del Congreso Lugar celebración: Donostia Fecha: 26-27 de Octubre de 1998. Autores: María Manzano Título: Lógica aplicada Tipo de participación: Conferencia (y organización) Congreso: Reunión científica. (Junta Castilla y León) Lugar celebración: Universidad de Salamanca Fecha: 23 de Junio de1997 Autores: María Manzano Título: Los modelos generales de Henkin y los teoremas de representación Tipo de participación: Conferencia invitada Congreso: Congreso extraordinario de SADAF (Sociedad argentina de filosofía analítica) Lugar celebración: Buenos Aires Fecha: Octubre. 1997 Autores: María Manzano y Lluis Godo Título: Descriptive Dynamic Logic Tipo de participación: Conferencia invitada (y organización del simposio) Congreso: Simposium: Fundación Modal. II Congreso de la Sociedad de Lógica y Filosofía de la Ciencia. Publicación: Actas del Congreso. Lugar celebración: Barcelona Fecha: Febrero. 1997 Autores: María Manzano Título: Verdad en el Cosmos Tipo de participación: Conferencia invitada Congreso: Seminario de Lógica. Facultad de Filosofía.. Lugar celebración: . Universidad de Santiago de Compostela Fecha: Mayo. 1997 Autores: María Manzano y Antonia Huertas Título: Extensions of First Order Logic Tipo de participación: Curso de 20 horas Congreso: Eight European Summer School in Logic, Language and Information Publicación: Reader del curso, 80 páginas Lugar celebración: University of Prague Fecha: 12-23 de Agosto de 1996 Autores: María Manzano y Antonia Huertas Título: Partial an heterogeneous tools for building new logics Tipo de participación: Conferencia invitada Congreso: Fifth CSLI Workshop on Logic, Language and Computation Lugar celebración: Stanford University. USA Fecha: 31 Mayo al 2 Junio 1996 Autores: María Manzano Título: Extensions of First Order Logic Tipo de participación: Conferencia invitada Congreso: Logic Colloquium (The Group in Logic and the Methodology of Science.) Lugar celebración: Universidad de California, Berkeley (USA) Fecha: 3 de Mayo de1996 Autores: María Manzano Título: Extensions of First Order Logic Tipo de participación: Conferencia invitada Congreso: Logic Lunch. Departamento de Matemáticas Lugar celebración: Universidad de Stanford (USA) Fecha: Mayo. 1996 Autores: María Manzano Título: Modal Logic, Representation and Translation (analyzing modal logics via other, less or more, multi-purpose standard logics) Tipo de participación: Conferencia invitada Congreso:. Departamento de Filosofía: Seminario.de Lógica. Publicación: Actas del Seminario (CSLI) Lugar celebración: Universidad de Stanford (USA) Fecha: Mayo. 1996 Autores: María Manzano Título: Alonzo Church: In memoriam Tipo de participación: Conferencia invitada Congreso: Truth, Logic, Representation and World.. Publicación: Actas del Congreso Lugar celebración: Universidad Santiago de Compostela. Fecha: 17-20 de Enero de 1996 Autores: María Manzano Título: The little mermaid Tipo de participación: Conferencia invitada Congreso: Truth, Logic, Representation and World.. Publicación: Actas del Congreso Lugar celebración: Universidad Santiago de Compostela. Fecha: 17-20 de Enero de1996 Autores: María Manzano Título: Modal representation theorems Tipo de participación: Conferencia invitada (y presidencia sesión) Congreso: Workshop on Model Theory and Complexity Publicación: Actas del Congreso Lugar celebración: Universidad de Sevilla Fecha: 21-23 de Septiembre de1995 Autores: María Manzano Título: Cooking up your Logic Tipo de participación: Conferencia invitada (y presidencia de sesión) Congreso: 10th International Congress of Logic, Methodology and Philosophy of Science Publicación: Actas del Congreso Lugar celebración: Florencia, Italia Fecha: 19-25 de Agosto de 1995 Autores: María Manzano Título: Las paradojas y su solución en la teoría de tipos de Bertrand Russell Tipo de participación: Conferencia invitada Congreso: Seminario Orotava (Historia de la Ciencia en el siglo XX). Publicación: Actas del Congreso Lugar celebración: Universidad de Tenerife. Fecha: Noviembre. 1994 Autores: María Manzano Título: La gallina.de los huevos de oro (Capacidad expresiva, Metateoría de Conjuntos e Incompletud) Tipo de participación: Conferencia invitada Congreso: I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España.. Publicación: Actas del : I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia (Bustos et alts edts) Lugar celebración: Madrid Fecha: 15-17 de Diciembre de 1993 Autores: María Manzano Título: Higher Order Logic: Standard versus Non-Standard Model Theory Tipo de participación: Conferencia invitada Congreso: Cylindric Algebras, the Ultrapower Construction. Postgraduate School of Budapest. Hungarian Academy of Sciences Lugar celebración: Budapest. Fecha: Mayo-Junio 1992 Autores: María Manzano Título: How to Increase Applicability of a Mathematical Concept of Higher Order Logic to Rael Higher Order Phenomena. Tipo de participación: Conferencia invitada Congreso: Logic @ Work. (Conference on Applied Logic) Publicación: Volumen de Actas en Oxford University Press Lugar celebración: University of Amsterdam Fecha: 16-19 de Diciembre de 1992 Autores: María Manzano Título: Teoría de Modelos Tipo de participación: Tutorial de cuatro horas. Congreso: VIII Congreso de Lenguajes Naturales y Lenguajes Formales Publicación: Actas del Congreso Lugar celebración: Universidad de Gerona Fecha: 21-25 de Septiembre de1992 Autores: María Manzano Título: Model Theory Tipo de participación: Curso de veinte horas Congreso: Forth European Summer School in Logic, Language and Information Publicación: Actas del Congreso Lugar celebración: University of Essex, Colchester, UK Fecha: 17-28 de Agosto de1992 Autores: María Manzano Título: Simple Type Theory. And Modal Logic Tipo de participación: Conferencia invitada Congreso: Logic seminar (Reunión semanal) Lugar celebración: University College. Swansea, UK Fecha: Noviembre. 1991 Autores: María Manzano Título: Applying Many Sorted Logic Tipo de participación: Conferencia invitada y organización simposio de lógica (y presidencia sesiones varias) Congreso: Encuentro de Lógica y Filosofía de la Ciencia. Rudolf Carnap & Hans Reichenbach in Memoriam. Publicación: Volumen en siglo XXI Lugar celebración:Universidad de Madrid Fecha: 13-15 de Noviembre de1991 Autores: María Manzano y Antonia Huertas Título: Conversión de S5 en bivariada Tipo de participación: Comunicación Congreso: V Congreso de Lenguajes Naturales y Lenguajes Formales Publicación: Actas del Congreso Lugar celebración: Universidad de Tarragona Fecha: 17-21 de Septiembre de 1990 Autores: María Manzano Título: Teoría de Modelos Tipo de participación: Curso de seis horas. Congreso: Institut de Ciències de l'Educació Lugar celebración: Universitat Autònoma de Barcelona, Fecha: 21-25 de Septiembre de 1990 Autores: María Manzano Título: La lógica multivariada como lógica unificadora Tipo de participación: Tutorial de cuatro horas. Congreso: Problemas y métodos de investigación en lógica formal Publicación: Actas del Congreso Lugar celebración: Universidad de Sevilla Fecha: 27-28 de Septiembre de 1990 Autores: María Manzano Título: Lóxica dinámica Tipo de participación: Conferencia invitada Congreso: Xornadas de Loxica e Filosofia da Ciencia: Semántica, Cognición e intelixencia artificial Publicación: Actas del Congreso Lugar celebración: Universidad de Santiago de Compostela Fecha: Octubre. 1988 Autores: María Manzano Título: Introduction to MSL Tipo de participación: Conferencia invitada Congreso: Congreso: Many-sorted logic and its application in Computer Science Publicación: Actas del Congreso Lugar celebración: Leeds, UK Fecha: Septiembre. 1988 Autores: María Manzano Título: Consecuencias de los teoremas de Löwenheim-Skolen Tipo de participación: Conferencia invitada Congreso: Nuevas tendencias en Ciencia y Filosofía. Lugar celebración: Universidad de Salamanca Fecha: Mayo. 1988 Autores: María Manzano Título: SOLO: A second order theory equivalent to PDL Tipo de participación: Conferencia invitada Congreso: Lógica e Informática. VI Cursos de Verano. Publicación: Actas del Congreso Lugar celebración: San Sebastián Fecha: Julio. 1987 Autores: María Manzano Título: ¿Para qué sirve la Lógica en Informática? Tipo de participación: Conferencia invitada Congreso: Lógica e Informática. VI Cursos de Verano. Publicación: Actas del Congreso Lugar celebración: San Sebastián Fecha: Julio. 1987 Autores: María Manzano Título: Lógica dinámica Tipo de participación: Conferencia invitada Congreso: Jornadas sobre Inteligencia Artificial: Razonamiento automatizado Lugar celebración: Instituto de I.A. del CSIC Blanes Fecha: 12 de Junio de 1987. Autores: María Manzano Título: Nuevos hechos, viejos lenguajes Tipo de participación: Conferencia invitada Congreso: V Congrés Catalá de Lógica Publicación: Actas del Congreso Lugar celebración: Universidad Autónoma de Barcelona Fecha: 1986 Autores: María Manzano Título: The translation of dynamic logic into second order logic Tipo de participación: Conferencia invitada Congreso: Logic seminar Department of Mathematics. Queen Mary College Lugar celebración: London. UK Fecha: Diciembre. 1986 Autores: María Manzano Título: The translation of dynamic logic into second order logic Tipo de participación: Conferencia invitada Congreso: Theory of Computation Seminar. Department of Computer Studies & Pure Mathematics. Centre for Theoretical Computer Science.. Reunión semanal Lugar celebración: University of Leeds. UK Fecha: 1986 Autores: María Manzano Título: On second order logic Tipo de participación: Conferencia invitada Congreso: Philosophy of Mathematics Seminar. Department of Philosophy & Pure Mathematics. Centre for Theoretical Computer Science Lugar celebración: University of Leeds. UK Fecha: 1986 Autores: María Manzano Título: Applying the Philosophy of Henkin's General Models Tipo de participación: Conferencia invitada Congreso: Philosophy of Computer Science Seminar. (Department of Computer Studies & Philosophy). Centre for Theoretical Computer Science Lugar celebración. University of Leeds. UK. Fecha: 1986 Autores: María Manzano Título: El nuevo traje del Emperador: De cómo la sofisticada lógica modal no lucía más que modelos clásicos, de primer orden. Tipo de participación: Conferencia invitada Congreso: I Simposio Hispano-Mexicano de Filosofía. Publicación: Actas del Congreso Lugar celebración: Universidad de Salamanca Fecha: Octubre. 1984 Autores: María Manzano Título: Los sistemas inductivos. Tipo de participación: Conferencia invitada Congreso: Seminario de profesorado universitario. Publicación: Actas del Congreso Lugar celebración: INCIE. Madrid Fecha: 1981 Autores: María Manzano Título: Teoría de Tipos Tipo de participación: Conferencia invitada Congreso: Primera semana de Lógica, Filosofía e Historia de la Ciencia.. Lugar celebración: Madrid. UNED Fecha: .24- 28 de Mayo de 1982 Autores: María Manzano Título: Un panorama de las lógicas de orden superior Tipo de participación: Conferencia invitada Congreso: Jornadas de Lógica, Filosofía del lenguaje y Epistemología. Lugar celebración: Madrid.. Fecha: Diciembre. 1982 |
|||||
|
|
