Guido Governatori, Alessandro Luppi. Labelled Tableaux for Non-normal Modal Logics. In Evelina Lamma, Paola Mello, editors, AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings. Volume 1792 of Lecture Notes in Computer Science, pages 119-130, Springer, 1999. [doi]
Abstract is missing.