Wiebe van der Hoek;John-Jules Ch. Meyer
-;-
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic (TOCL)
Logics of belief over weighted structures
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction