On unification and admissible rules in Gabbay-de Jongh logics

Jeroen P. Goudsmit, Rosalie Iemhoff. On unification and admissible rules in Gabbay-de Jongh logics. Annals of Pure and Applied Logic, 165(2):652-672, 2014. [doi]

Abstract

Abstract is missing.