1. Kripke Models for Linear Logic;Allwein;The Journal of Symbolic Logic,1993
2. Hybrid Logics: Characterization, Interpolation and Complexity;Areces;J. Symb. Log.,2001
3. Displaying Updates in Logic;Aucher;Journal of Logic and Computation,2016
4. Towards universal logic: Gaggle logics;Aucher;Journal of Applied Logics – IfCoLog Journal of Logics and their Applications,2020
5. Landscapes in Logic;Aucher,2021