Show simple item record

dc.contributor.authorSales Porta, Ton
dc.contributor.authorAlvarado Mentado, Matías
dc.date.accessioned2016-11-28T09:49:53Z
dc.date.available2016-11-28T09:49:53Z
dc.date.issued1993-09
dc.identifier.citationSales, T., Alvarado, M. "Toward a realistic semantics of possible worlds for logics of belief". 1993.
dc.identifier.urihttp://hdl.handle.net/2117/97290
dc.description.abstractThis work sets out the main ideas concerning a semantics of possible worlds for epistemic logics which do not have the problem of logical omniscience and which can be used to model reasoning with limited resources. Within this semantic system, possible worlds are defined through a constructive process which is used to define a relation of accessibility between worlds, which is generally treated as a primitive notion. Furthermore, the concepts of logical omniscience and ideal reasoning, usually considered as synonymous in the literature, are formally described. This formal description can be used to show that the alternatives which have been presented to avoid logical omniscience have not satisfactorily resolved the fundamental problem. In addition, the concept of possible worlds is formulated in purely syntactic terms in order to present the main ideas underlying a model of local reasoning which can be applied in a wide range of disciplines.
dc.format.extent10 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-93-31-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.otherPossible worlds
dc.subject.otherSemantics
dc.subject.otherEpistemic logics
dc.subject.otherLogical omniscience
dc.subject.otherLocal reasoning
dc.titleToward a realistic semantics of possible worlds for logics of belief
dc.typeExternal research report
dc.contributor.groupUniversitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic
dc.rights.accessOpen Access
local.identifier.drac1835935
dc.description.versionPostprint (published version)
local.citation.authorSales, T.; Alvarado, M.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder