How to know it all (or how to get rid of logical omniscience and perfect reasoners)

Logical omniscience and ideal reasoning are two well-known problems in modal logics of belief associated with the use of ordinary Kripke semantics

Detalles Bibliográficos
Autor: Sales Porta, Ton
Tipo de recurso: informe técnico
Fecha de publicación:1993
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/188545
Acceso en línea:https://hdl.handle.net/2117/188545
Access Level:acceso abierto
Palabra clave:Semantics -- Data processing
Omniscience (Theory of knowledge)
Logical omniscience
Kripke semantics
Semàntica -- Informàtica
Àrees temàtiques de la UPC::Informàtica
id ES_e2cbe03119c5ac77d4e7add5adb1bd55
oai_identifier_str oai:upcommons.upc.edu:2117/188545
network_acronym_str ES
network_name_str España
repository_id_str
spelling How to know it all (or how to get rid of logical omniscience and perfect reasoners)Sales Porta, TonSemantics -- Data processingOmniscience (Theory of knowledge)Logical omniscienceKripke semanticsSemàntica -- InformàticaÀrees temàtiques de la UPC::InformàticaLogical omniscience and ideal reasoning are two well-known problems in modal logics of belief associated with the use of ordinary Kripke semantics19931993-10-0120202020-05-21reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/188545reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2Attribution-NonCommercial-NoDerivs 3.0 Spainhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/1885452026-05-27T15:37:01Z
dc.title.none.fl_str_mv How to know it all (or how to get rid of logical omniscience and perfect reasoners)
title How to know it all (or how to get rid of logical omniscience and perfect reasoners)
spellingShingle How to know it all (or how to get rid of logical omniscience and perfect reasoners)
Sales Porta, Ton
Semantics -- Data processing
Omniscience (Theory of knowledge)
Logical omniscience
Kripke semantics
Semàntica -- Informàtica
Àrees temàtiques de la UPC::Informàtica
title_short How to know it all (or how to get rid of logical omniscience and perfect reasoners)
title_full How to know it all (or how to get rid of logical omniscience and perfect reasoners)
title_fullStr How to know it all (or how to get rid of logical omniscience and perfect reasoners)
title_full_unstemmed How to know it all (or how to get rid of logical omniscience and perfect reasoners)
title_sort How to know it all (or how to get rid of logical omniscience and perfect reasoners)
dc.creator.none.fl_str_mv Sales Porta, Ton
author Sales Porta, Ton
author_facet Sales Porta, Ton
author_role author
dc.subject.none.fl_str_mv Semantics -- Data processing
Omniscience (Theory of knowledge)
Logical omniscience
Kripke semantics
Semàntica -- Informàtica
Àrees temàtiques de la UPC::Informàtica
topic Semantics -- Data processing
Omniscience (Theory of knowledge)
Logical omniscience
Kripke semantics
Semàntica -- Informàtica
Àrees temàtiques de la UPC::Informàtica
description Logical omniscience and ideal reasoning are two well-known problems in modal logics of belief associated with the use of ordinary Kripke semantics
publishDate 1993
dc.date.none.fl_str_mv 1993
1993-10-01
2020
2020-05-21
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/188545
url https://hdl.handle.net/2117/188545
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869422443000496128
score 15.301603

Similares en LA Referencia