Philippe Balbiani, Çiğdem Gencer, “Undecidability of admissibility in the product of two Alt logics”, Logic Journal of the IGPL, 2023
Curtis Franks, “The Deduction Theorem (Before and After Herbrand)”, History and Philosophy of Logic, 42:2 (2021), 129
Philippe Balbiani, Lecture Notes in Computer Science, 11600, Logic and Its Applications, 2019, 1
Curtis Franks, “The Context of Inference”, History and Philosophy of Logic, 39:4 (2018), 365
Rosalie Iemhoff, “A Syntactic Approach to Unification in Transitive Reflexive Modal Logics”, Notre Dame J. Formal Logic, 57:2 (2016)
James G. Raftery, “Admissible Rules and the Leibniz Hierarchy”, Notre Dame J. Formal Logic, 57:4 (2016)
Alex Citkin, Lecture Notes in Computer Science, 9537, Logical Foundations of Computer Science, 2016, 76
JOÃO RASGA, CRISTINA SERNADAS, AMÍLCAR SERNADAS, “PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS”, The Review of Symbolic Logic, 9:4 (2016), 641
Rosalie Iemhoff, Lecture Notes in Computer Science, 8984, Logic, Language, and Computation, 2015, 10
Rosalie Iemhoff, “On Rules”, J Philos Logic, 44:6 (2015), 697