Antonia Huertas

Publication Activity (10 Years)

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

Top Topics

Predicate Logic

Natural Deduction

Sound And Complete With Respect

Top Venues

Publications

Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
Exorcising the phantom zone. Inf. Comput. 287 (2022)
Joan Casas-Roma, Antonia Huertas, M. Elena Rodríguez
The logic of imaginary scenarios. Log. J. IGPL 28 (3) (2020)
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)
Joan Casas-Roma, M. Elena Rodríguez, Antonia Huertas
A Common Frame for Formal Imagination. Minds Mach. 29 (4) (2019)
Joan Casas-Roma, Antonia Huertas, Felip Manyà
Solving MaxSAT with Natural Deduction. CCIA (2017)
Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano
Completeness in Hybrid Type Theory. J. Philos. Log. 43 (2-3) (2014)
Antonia Huertas
Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned. TICTTL (2011)
Antonia Huertas, Josep M. Humet, Laura López, Enric Mor
The SELL Project: A Learning Tool for E-Learning Logic. TICTTL (2011)
Antonia Huertas, Enric Mor
Tool Development to Support Learning, Immediate Feedback, and Continuous Assessment in Logic. WEBIST (2) (2010)
Antonia Huertas
Teaching and Learning Logic in a Virtual Learning Environment. Log. J. IGPL 15 (4) (2007)