Modal charactersation for sets and Kripke models. Unpublished manuscript (1996)

by Alexandru Baltag