Download
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.
Project Samples
Categories
EducationLicense
GNU General Public License version 3.0 (GPLv3)Follow FOLST
Other Useful Business Software
$300 Free Credits for Your Google Cloud Projects
Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of FOLST!