A comparison of two many-valued non-deterministic semantic frameworks for modal logic - non-deterministic matrices (Nmatrices) and restricted non-deterministic matrices (RNmatrices) - both built over the minimal modal system M. RNmatrices restrict the admissible valuations so that extensions of M, including the normal systems, are obtained uniformly while the meaning of the modal operator is preserved across extensions, whereas Nmatrices give a more intuitive reading of modality; the trade-off is illustrated on the modal logics MK, MKT, and MKT4.
This NCL'24 proceedings short paper compares two many-valued, non-deterministic semantic frameworks for modal logic: non-deterministic matrices (Nmatrices) and restricted non-deterministic matrices (…