Modal Logic interpreter embedded in Haskell
Keywords:
modal logic, Haskell, functional programming, embedded domain specific languageAbstract
Modal logics are a family of logics derived from propositional logic that allow for more expressive reasoning than the one provided by the one they build from. Despite its numerous theoretical and practical applications there is a relatively scarce number of tools available for working with them in a userfriendly and intuitive manner. This work presents the implementation of an embedded domain-specific language (EDSL) designed with the goal to make algebraic manipulation of modal logic formulas simple.
Downloads
Published
Issue
Section
License
Copyright (c) 2025 Bautista Jos´e Peirone
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
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.
