Logics of Synonymy. - Levin Hornischer (J. Philos. Log., 2020)

The Logic of Information in State Spaces. - Levin Hornischer (Rev. Symb. Log., 2021)

Learning How to Vote with Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks. - Levin Hornischer; Zoi Terzopoulou (J. Artif. Intell. Res., 2025)

Explaining Neural Networks with Reasons. - Levin Hornischer; Hannes Leitgeb (CoRR, 2025)