Neue Beweis Systeme inNeue Beweis Systeme inder LogikMethoden der logischen Beweisführung.Innovative Ansätze verbessern dieLogik in der InformatikFortschritte in Beweissystemen für modale LogikNeue Beweisysteme mit Automaten für den modalen Mu-Kalkül erkunden.2025-10-20T08:30:18+00:00 ― 7 min Lesedauer