and Concepts for Universal Logic -- Non-deterministic Matrices and Modular Semantics of