So 21 Entwurf einer Modalitätslogik; ich finde Kriterien für Aussagenlogik mit Konstanten (einfach) und Variablen (komplizierter).25Modalitätslogik ??? Hier beginnt offenbar die Arbeit daran ???
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.
