Displaying similar documents to “An admissibility criterion for inference rules with metavariables in the modal logic S4 · α N .”