Restricted normal modal logics and levelled possible worlds semantics

Vista sencilla de ítem
dc.citation.journalTitleJOURNAL OF LOGIC AND COMPUTATION
dc.contributor.authorAgudelo-Agudelo, Juan C.
dc.contributor.authorSierra-Aristizabal, Manuel H.
dc.contributor.departmentUniversidad EAFIT. Departamento de Cienciasspa
dc.contributor.researchgroupLógica y Computaciónspa
dc.creatorAgudelo-Agudelo, Juan C.
dc.creatorSierra-Aristizabal, Manuel H.
dc.date.accessioned2021-03-26T21:32:03Z
dc.date.available2021-03-26T21:32:03Z
dc.date.issued2014-08-01
dc.description.abstractRestricted normal modal logics are here defined by imposing conditions on the modal axioms and rules of normal modal systems. The conditions are defined in terms of a depth (associated with the modal connective) and a complexity function. It is proven that the logics obtained are characterized by a subtle adaptation of the possible worlds semantics in which levels are associated with the worlds. Restricted normal modal logics constitute a general framework allowing the definition of a huge variety of modal systems, which can have different applications. For instance, they are useful to define epistemic logics where the logical omniscience problem is partially controlled. © 2014 The Author.eng
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=1257
dc.identifier.doi10.1093/logcom/exs032
dc.identifier.issn0955792X
dc.identifier.issn1465363X
dc.identifier.otherWOS;000339921000001
dc.identifier.otherSCOPUS;2-s2.0-84905180016
dc.identifier.urihttp://hdl.handle.net/10784/27325
dc.languageeng
dc.publisherOXFORD UNIV PRESS
dc.relation.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84905180016&doi=10.1093%2flogcom%2fexs032&partnerID=40&md5=bef8b87cb300675ba39aee95caf3f307
dc.rightshttps://v2.sherpa.ac.uk/id/publication/issn/0955-792X
dc.sourceJOURNAL OF LOGIC AND COMPUTATION
dc.subjectSemanticseng
dc.subjectComplexity functionseng
dc.subjectEpistemic logiceng
dc.subjectLogical omniscienceeng
dc.subjectModal logiceng
dc.subjectModal systemseng
dc.subjectPossible worldseng
dc.subjectFormal logiceng
dc.titleRestricted normal modal logics and levelled possible worlds semanticseng
dc.typearticleeng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.typepublishedVersioneng
dc.type.localArtículospa

Archivos

Bloque original
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
exs032.pdf
Tamaño:
393.4 KB
Formato:
Adobe Portable Document Format
Descripción:
Descargar

Colecciones

Artículos