FOLST

FOLST (First Order Logic Semantic Tutor) is an interactive tool to support teaching and learning of First Order Logic semantics, allowing users to create models under certain frames, and evaluate formulas in the models created.

FOLST es una herramienta didáctica e interactiva para complementar el proceso de enseñanza/aprendizaje de la Lógica de Predicados de Primer Orden. Permite al usuario crear modelos bajo ciertos frames predefinidos, y evaluar fórmulas en los modelos creados.