A Formal Model of Ambiguity and its Applications in Machine Translation. - Timo Eckhardt (2010)

Extended Model Semantics and Forgetting in Dynamic Epistemic Logic. - Timo Eckhardt (2021)

Base-extension Semantics for Modal Logic. - Timo Eckhardt; David J. Pym (CoRR, 2024)

Base-extension semantics for S5 modal logic. - Timo Eckhardt; David J. Pym (Log. J. IGPL, 2025)