Inference rules with metavariables and logical equations in the pretabular modal logic PM1. Kiyatkin, V.R. — 2000 Siberian Mathematical Journal