In 1988, Ivlev proposed four-valued non-deterministic semantics for modal logics in which the alethic (T) axiom holds good. Unfortunately, no completeness was proved. In previous work, we proved completeness for some Ivlev systems and extended his hierarchy, proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. Here, we eliminate both axioms, proposing even weaker systems with eight values. Besides, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary (deterministic) logical matrices would be possible for all those systems. We will show that finite deterministic matrices do not characterize any of them. 2 had proposed in the eighties a semantics of four-valued Nmatrices 3 for implication and modal operators, in order to characterize a hierarchy of weak modal logics without necessitation rule 4 .Ivlev assumed that everything that is necessarily true is actually true. In order to considerate systems without this assumption, we extended Ivlev's hiearchy 5 , by adding two new truthvalues. In section 1, we will discuss how those four and six truth-values could be interpreted in terms of modal concepts. In the first case, we will offer an alethic perspective; in the second one, we will suggest a deontic interpretation.In a deontic context, we assume that what is necessarily (or obliged) is, at least, possible (or permitted). In this paper, we will propose weaker systems in which this principle does not hold. So, we can have modal contradictory situations, that means, propositions that are necessarily true but impossible. This requires eight truth-values. We will offer an epistemic interpretation of them in Section 1.In Section 2, we will argue why non-deterministic implication and modal operators are required considering how modal concepts work in the natural language. We will start with four values, going towards six and eight values. After that, we will prove in Section 4.12 completeness for some modal systems with eight truth-values.Non-deterministic propositional modal logics presented here clearly constitute a hierarchy. The point here, as shown in Section 5, it is not only that one system is included in another one. Moreover, it will be shown that any system of the hierarchy can recover all the inferences of the stronger ones by means of Derivability Adjustment Theorems.In Ivlev's semantics, four kinds of implications are considered: those who have three, two, one or zero cases of non-determinism. However, no completeness result is presented. In another work, we proved completeness for some systems whose implication has three cases of nondeterminism 6 . In section 6, we will prove completeness with respect to deterministic Ivlev's implication, showing some relation between this modal systems, four-valued Gödel logic, fourvalued Lukasiewicz logic and Monteiro-Baaz's ∆ operator.It is also natural to ask whether the use of finite non-deterministic matrices is essential for dealing with those hierarchies, or if a charact...