Unification and passive inference rules for modal logics

Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer. Unification and passive inference rules for modal logics. Journal of Applied Non-Classical Logics, 10(3-4):369-377, 2000.

Possibly Related Publications

The following publications are possibly variants of this publication: