|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1
Zeitschriftenartikel
Hagemeier, Christian und Kirst, Dominik
(2022):
Constructive and mechanised meta-theory of IEL and similar modal logics.
In: Journal of Logic and Computation, Bd. 32, Nr. 8: S. 1585-1610