Displaying similar documents to “Inference rules with metavariables and logical equations in the pretabular modal logic PM1.”