Eine formale Logik zur Charakterisierung und Erkundung von Vertrauenswürdigkeit, ausgehend von ersten Prinzipien.