2024-03-29T15:44:35Zhttps://gredos.usal.es/oai/requestoai:gredos.usal.es:10366/688882022-02-07T16:19:53Zcom_10366_68563com_10366_4666com_10366_3823col_10366_68572
Elija su propia Lógica
Areces, Carlos
Filosofía
Philosophy
[ES] 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.
[EN] This paper presents a modern vision of the field of modal and temporal logics. Instead of being historically motivated, the paper presents these logics in conexion with some fragments of first order logic with interesting properties. This approach is seductive because it allows us to view modal logics as languages designed «to size», i.e., to fit a given task.
2010-01-26T09:37:49Z
2010-01-26T09:37:49Z
2006
info:eu-repo/semantics/article
info:eu-repo/semantics/article
Azafea, 8 (2006)
0213-3563
http://hdl.handle.net/10366/68888
spa
https://creativecommons.org/licenses/by-nc-nd/3.0/
info:eu-repo/semantics/openAccess
Attribution-NonCommercial-NoDerivs 3.0 Unported
Ediciones Universidad de Salamanca (España)