Elija su propia lógica

C. Areces. Elija su propia lógica. Azafea: Revista de Filosof\'ia, 8:71–83, 2006.

Download

[pdf] 

Abstract

En este art\'iculo se sintetiza una visión moderna de las lógicas modales y temporales. En vez de dar una motivación histórica, el paper presenta estas lógicas en relación con ciertos fragmentos de la lógica de primer orden que poseen propiedades interesantes. Esta visión de la lógica es seductora porque nos permite dise\ nar lenguajes a medida, es decir, optimizados para una tarea espec\'ifica.

BibTeX

@Article{Areces2006,
  author =       "C. Areces",
  journal =      "Azafea: Revista de Filosof{\'i}a",
  title =        "Elija su propia l{\'o}gica",
  year =         "2006",
  ISSN =         "2444-7072",
  pages =        "71--83",
  volume =       "8",
  abstract =     "En este art{\'i}culo se sintetiza una visi{\'o}n
                 moderna de las l{\'o}gicas modales y temporales. En vez
                 de dar una motivaci{\'o}n hist{\'o}rica, el paper
                 presenta estas l{\'o}gicas en relaci{\'o}n con ciertos
                 fragmentos de la l{\'o}gica de primer orden que poseen
                 propiedades interesantes. Esta visi{\'o}n de la
                 l{\'o}gica es seductora porque nos permite dise\~nar
                 lenguajes a medida, es decir, optimizados para una
                 tarea espec{\'i}fica.",
  owner =        "areces",
  timestamp =    "2016.10.02",
  URL =          "http://revistas.usal.es/index.php/0213-3563/article/view/626",
}