Unification and passive inference rules for modal logics

Sorry, there's nothing here.

Cite this paper

@article{Rybakov2000UnificationAP, title={Unification and passive inference rules for modal logics}, author={Vladimir V. Rybakov and Mehmet Terziler and Çigdem Gencer}, journal={Journal of Applied Non-Classical Logics}, year={2000}, volume={10}, pages={369-377} }