Graded modalities in epistemic logic (1992)

by L Schröder, D Pattinson van der Hoek, W, J-J Meyer
Venue:In LFCS 1992, Logical Foundations of Computer Science, Second International Symposium, Proceedings, A. Nerode