Logo Logo
[up] Up a level
Group by: Item Type | Date
Jump to: Journal article
Number of items: 1.

Journal article

Hagemeier, Christian und Kirst, Dominik (2022): Constructive and mechanised meta-theory of IEL and similar modal logics. In: Journal of Logic and Computation, Vol. 32, No. 8: pp. 1585-1610

This list was generated on Sun Oct 11 10:05:16 2026 CEST.

Open Access LMU is powered by EPrints 3, which is developed by the School of Electronics and Computer Science at the University of Southampton.
Imprint - Privacy Disclaimer