María Manzano

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 6

Top Topics

Mathematics Education

Finite Model Theory

Causal Theories

Sound And Complete With Respect

Top Venues

J. Philos. Log.

Publications

Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
Exorcising the phantom zone. Inf. Comput. 287 (2022)
María Manzano, Manuel A. Martins, Antonia Huertas
Completeness in Equational Hybrid Propositional Type Theory. Stud Logica 107 (6) (2019)
Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
Rigid First-Order Hybrid Logic. WoLLIC (2019)
María Manzano, Nitsa Movshovitz-Hadar, Diane Resek
Leon Henkin: A Logician's View on Mathematics Education. FLAP 4 (1) (2017)
María Manzano, Enrique Alonso
A note on Visions of Henkin. Synth. 194 (6) (2017)
María Manzano, Enrique Alonso
Visions of Henkin. Synth. 192 (7) (2015)
Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano
Completeness in Hybrid Type Theory. J. Philos. Log. 43 (2-3) (2014)
Hans P. van Ditmarsch, María Manzano
Editorial "Tools for Teaching Logic". Log. J. IGPL 15 (4) (2007)