Evaluador de Lógica Modal embebido en Haskell
Palabras clave:
lógica modal, Haskell, programación funcional, lenguaje embebido de dominio específicoResumen
Las lógicas modales son una familia de lógicas derivadas de la lógica proposicional, las cuales resultan útiles para expresar y probar razonamientos que requieren un mayor grado de expresividad que el provisto por la lógica de la cual parten. Si bien pueden aplicarse en diversas áreas, no existen muchas herramientas que permitan utilizar las mismas de manera fácil. De aquí surge la iniciativa de implementar una herramienta al estilo de un lenguaje de dominio específico embebido (EDSL, embedded domain-specific language) que permita al usuario del lenguaje poder trabajar de forma algebraica con los símbolos de la lógica de manera muy sencilla.
Descargas
Publicado
Número
Sección
Licencia
Derechos de autor 2025 Bautista Jos´e Peirone
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.
Acorde a estos términos, el material se puede compartir (copiar y redistribuir en cualquier medio o formato) y adaptar (remezclar, transformar y crear a partir del material otra obra), siempre que a) se cite la autoría y la fuente original de su publicación (revista y URL de la obra), b) no se use para fines comerciales y c) se mantengan los mismos términos de la licencia.
