Restricted normal modal logics and levelled possible worlds semantics uri icon