Restricted normal modal logics and levelled possible worlds semantics

Fecha

2014-08-01

Autores

Agudelo-Agudelo, Juan C.
Sierra-Aristizabal, Manuel H.

Título de la revista

ISSN de la revista

Título del volumen

Editor

OXFORD UNIV PRESS

Resumen

Restricted 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.

Descripción

Citación

Colecciones