Alan M. Frisch, Richard B. Scherl
A General Framework for Modal Deduction
KR, 1991.
@inproceedings{KR-1991-FrischS, author = "Alan M. Frisch and Richard B. Scherl", booktitle = "{Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning}", isbn = "1-55860-165-1", pages = "196--207", publisher = "{Morgan Kaufmann}", title = "{A General Framework for Modal Deduction}", year = 1991, }