RT Book, Section T1 An educational epistemic model checker for Philosophy students. A1 Aguilera-Ventura, Carlos A1 Yuste-Ginel, Antonio A2 Aguilera-Ventura, Carlos A2 Muñoz-Velasco, Emilio José A2 Ojeda-Aciego, Antonio A2 Yuste-Ginel, Antonio K1 Filosofía - Estudio y enseñanza K1 Enseñanza - Innovaciones PB College Publications SN 978-1-84890-450-7 YR 2024 FD 2024-03-04 LK https://hdl.handle.net/10630/40570 UL https://hdl.handle.net/10630/40570 LA eng NO C. Aguilera-Ventura and A. Yuste-Ginel. "An educational epistemic model checker for Philosophy students". In C. Aguilera-Ventura, Emilio Muñoz-Velasco, M. Ojeda-Aciego, and A. Yuste-Ginel (editors). Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza. College Publications. NO College Publications does not take copyright and authors are free to use their material elsewhere, and even to put the book on the web once sales have achieved profitability. (https://www.collegepublications.co.uk/about/) DS RIUMA. Repositorio Institucional de la Universidad de Málaga RD 20 ene 2026