Zoran Ognjanovic. A Tableau-Like Proof Procedure for Normal Modal Logics. Theoretical Computer Science, 129(1):167-186, 1994.
@article{Ognjanovic94, title = {A Tableau-Like Proof Procedure for Normal Modal Logics}, author = {Zoran Ognjanovic}, year = {1994}, tags = {modal logic, logic}, researchr = {https://researchr.org/publication/Ognjanovic94}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {129}, number = {1}, pages = {167-186}, }