An educational epistemic model checker for Philosophy students. - Aguilera-Ventura, Carlos; Yuste-Ginel, Antonio (College Publications, 2024)
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/)
Keywords: Filosofía - Estudio y enseñanza; Enseñanza - Innovaciones; Epistemic logic; Teaching innovation; Model checking; Group knowledge