Evaluador de lógica modal embebido en Haskell

Autores
Peirone, Bautista José
Año de publicación
2025
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
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.
Sociedad Argentina de Informática e Investigación Operativa
Materia
Ciencias Informáticas
Logica Modal
Haskell
Programación funcional
Lenguaje embebido de dominio específico
Modal logic
Functional programming
Embedded domain specific language
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/190594
Acceder
id SEDICI_46eac2c1644a7d975f5eb831f7d788db
oai_identifier_str oai:sedici.unlp.edu.ar:10915/190594
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Evaluador de lógica modal embebido en HaskellModal Logic interpreter embedded in HaskellPeirone, Bautista JoséCiencias InformáticasLogica ModalHaskellProgramación funcionalLenguaje embebido de dominio específicoModal logicFunctional programmingEmbedded domain specific languageLas 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.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.Sociedad Argentina de Informática e Investigación Operativa2025-08info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf153-163http://sedici.unlp.edu.ar/handle/10915/190594spainfo:eu-repo/semantics/altIdentifier/url/https://revistas.unlp.edu.ar/JAIIO/article/view/19909info:eu-repo/semantics/altIdentifier/issn/2451-7496info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2026-02-26T11:39:46Zoai:sedici.unlp.edu.ar:10915/190594Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292026-02-26 11:39:46.608SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Evaluador de lógica modal embebido en Haskell
Modal Logic interpreter embedded in Haskell
title Evaluador de lógica modal embebido en Haskell
spellingShingle Evaluador de lógica modal embebido en Haskell
Peirone, Bautista José
Ciencias Informáticas
Logica Modal
Haskell
Programación funcional
Lenguaje embebido de dominio específico
Modal logic
Functional programming
Embedded domain specific language
title_short Evaluador de lógica modal embebido en Haskell
title_full Evaluador de lógica modal embebido en Haskell
title_fullStr Evaluador de lógica modal embebido en Haskell
title_full_unstemmed Evaluador de lógica modal embebido en Haskell
title_sort Evaluador de lógica modal embebido en Haskell
dc.creator.none.fl_str_mv Peirone, Bautista José
author Peirone, Bautista José
author_facet Peirone, Bautista José
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Logica Modal
Haskell
Programación funcional
Lenguaje embebido de dominio específico
Modal logic
Functional programming
Embedded domain specific language
topic Ciencias Informáticas
Logica Modal
Haskell
Programación funcional
Lenguaje embebido de dominio específico
Modal logic
Functional programming
Embedded domain specific language
dc.description.none.fl_txt_mv 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.
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.
Sociedad Argentina de Informática e Investigación Operativa
description 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.
publishDate 2025
dc.date.none.fl_str_mv 2025-08
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/190594
url http://sedici.unlp.edu.ar/handle/10915/190594
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://revistas.unlp.edu.ar/JAIIO/article/view/19909
info:eu-repo/semantics/altIdentifier/issn/2451-7496
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
153-163
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1858282592063717376
score 12.665996

Publicaciones similares