María Manzano

According to our database, María Manzano authored at least 10 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Propositional Type Theory of Indeterminacy.

Víctor Aranda, Manuel Martins, María Manzano

Stud Logica, December, 2024

2022

Exorcising the phantom zone.

Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas

Inf. Comput., 2022

2019

Completeness in Equational Hybrid Propositional Type Theory.

María Manzano, Manuel A. Martins, Antonia Huertas

Stud Logica, 2019

Rigid First-Order Hybrid Logic.

Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas

Proceedings of the Logic, Language, Information, and Computation, 2019

2017

A note on Visions of Henkin.

María Manzano, Enrique Alonso

Synth., 2017

Leon Henkin: A Logician's View on Mathematics Education.

María Manzano, Nitsa Movshovitz-Hadar, Diane Resek

FLAP, 2017

2016

FLEX End-to-End Mission Performance Simulator.

Jorge Vicent, Neus Sabater, Carolina Tenjo, Juan Ramon Acarreta, María Manzano, Juan Pablo Rivera, Pedro Jurado, Raffaella Franco, Luis Alonso, Jochem Verrelst, José F. Moreno

IEEE Trans. Geosci. Remote. Sens., 2016

2015

Visions of Henkin.

María Manzano, Enrique Alonso

Synth., 2015

2014

Completeness in Hybrid Type Theory.

Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano

J. Philos. Log., 2014

2007

Editorial "Tools for Teaching Logic".

Hans van Ditmarsch, María Manzano

Log. J. IGPL, 2007