2021-03-262014-08-010955792X1465363XWOS;000339921000001SCOPUS;2-s2.0-84905180016http://hdl.handle.net/10784/27325Restricted 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.https://v2.sherpa.ac.uk/id/publication/issn/0955-792XSemanticsComplexity functionsEpistemic logicLogical omniscienceModal logicModal systemsPossible worldsFormal logicarticle2021-03-26Agudelo-Agudelo, Juan C.Sierra-Aristizabal, Manuel H.10.1093/logcom/exs032