On the logic for utopia

In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals. They possess the singular properties of admitting Strengthening of the...

Descripción completa

Detalles Bibliográficos
Autores principales: Areces, Carlos Eduardo, Becher, Verónica
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1995
Materias:
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
theory of conditionals
modal logic
knowledge representation
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24327
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24327
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
theory of conditionals
modal logic
knowledge representation
spellingShingle Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
theory of conditionals
modal logic
knowledge representation
Areces, Carlos Eduardo
Becher, Verónica
On the logic for utopia
topic_facet Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
theory of conditionals
modal logic
knowledge representation
description In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals. They possess the singular properties of admitting Strengthening of the Antecedent whlle possibly defeating the rule of Modus Ponens. Perhaps the most interesting aspect of this work is that, as far as the authors know, this is the first time a category of expressions in the ordinary language corresponding to these two singular properties is provided.
format Objeto de conferencia
Objeto de conferencia
author Areces, Carlos Eduardo
Becher, Verónica
author_facet Areces, Carlos Eduardo
Becher, Verónica
author_sort Areces, Carlos Eduardo
title On the logic for utopia
title_short On the logic for utopia
title_full On the logic for utopia
title_fullStr On the logic for utopia
title_full_unstemmed On the logic for utopia
title_sort on the logic for utopia
publishDate 1995
url http://sedici.unlp.edu.ar/handle/10915/24327
work_keys_str_mv AT arecescarloseduardo onthelogicforutopia
AT becherveronica onthelogicforutopia
bdutipo_str Repositorios
_version_ 1764820466977996800

Ejemplares similares