Antonia Huertas

12 papers C 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Hybrid Partial Type Theory.
J. Symb. Log.
María Manzano, Antonia Huertas, Patrick Blackburn, Manuel A. Martins, Víctor Aranda
2022 J jnl
Exorcising the phantom zone.
Inf. Comput.
Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
2020 J jnl
The logic of imaginary scenarios.
Log. J. IGPL
Joan Casas-Roma, Antonia Huertas, M. Elena Rodríguez
2019 J jnl
A Common Frame for Formal Imagination.
Minds Mach.
Joan Casas-Roma, M. Elena Rodríguez, Antonia Huertas
2019 J jnl
Completeness in Equational Hybrid Propositional Type Theory.
Stud Logica
María Manzano, Manuel A. Martins, Antonia Huertas
2019 C conf
Rigid First-Order Hybrid Logic.
WoLLIC
Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
2017 — conf
Solving MaxSAT with Natural Deduction.
CCIA
Joan Casas-Roma, Antonia Huertas, Felip Manyà
2014 J jnl
Completeness in Hybrid Type Theory.
J. Philos. Log.
Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano
2011 — conf
Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned.
TICTTL
Antonia Huertas
2011 — conf
The SELL Project: A Learning Tool for E-Learning Logic.
TICTTL
Antonia Huertas, Josep M. Humet, Laura López, Enric Mor
2010 — conf
Tool Development to Support Learning, Immediate Feedback, and Continuous Assessment in Logic.
WEBIST (2)
Antonia Huertas, Enric Mor
2007 J jnl
Teaching and Learning Logic in a Virtual Learning Environment.
Log. J. IGPL
Antonia Huertas