Elija su propia Lógica

Salamanca - Areces , Carlos

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

13 pages

Español

Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

A propos
Informations
Extrait

Description

Colecciones : Azafea, 2006, Vol. 8
Fecha de publicación : 24-sep-2009
[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.

Sujets

Sociologie, société et politique

Informations

Publié par	Salamanca
Publié le	24 septembre 2009
Nombre de lectures	19
Licence :	En savoir + Paternité, pas d'utilisation commerciale, partage des conditions initiales à l'identique
Langue	Español

Extrait

ISSN: 0213-3563

ELIJA SU PROPIA LÓGICA

Choose your own Logic

Carlos ARECES Inria Lorraine, Nancy, areces@loria.fr, web: www.loria.fr/~areces

BIBLID [(0213-356)8,2006,71-83] Fecha de aceptación definitiva: 20 de abril de 2006 RESUMEN En este artículo se sintetiza una visión moderna de las lógicas modales y tem- porales. 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 propieda- des interesantes. Esta visión de la lógica es seductora porque nos permite diseñar len- guajes a medida, es decir, optimizados para una tarea específica. Palabras clave : Lógicas modales, lógicas temporales, fragmentos de la lógica de pri- mer orden, traducciones, el problema de clasificación.

ABSTRACT 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. Key words : Modal logics, temporal logics, fragments of first order logic, translations, classificatiom problem.

Azafea. Rev. filos. 8, 2006, pp. 71-83