Elija su Propia Lógica

Areces, C.. Elija su Propia Lógica. Azafea: Revista de Filosofía, 8:71–83, 2006.

Download: [pdf] 

Abstract:

En este artículo 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ñar lenguajes a medida, es decir, optimizados para una tarea específica.

BibTeX: (download)

@ARTICLE{arec:elij06,
  author = {Areces, C.},
  title = {Elija su Propia Lógica},
  journal = {Azafea: Revista de Filosofía},
  year = {2006},
  volume = {8},
  pages = {71--83},
  abstract = {En este artículo 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ñar lenguajes a medida,
	es decir, optimizados para una tarea específica.},
  issn = {2444-7072},
  owner = {areces},
  timestamp = {2016.10.02},
  url = {http://revistas.usal.es/index.php/0213-3563/article/view/626}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49