Beschriftete Kalküle inBeschriftete Kalküle inder LogikDenksysteme in der modalen Logik.Erforschung fortgeschrittenerLogikVerstehen von beschrifteten Kalkülen in der Modal-LogikEin Blick auf etikettierte Kalküle für nicht-distributive modale Logik.2025-08-30T03:32:47+00:00 ― 6 min Lesedauer