Modal Correspondence for Models (1998)

by Jon Barwise, Lawrence S Moss
Venue:the Journal of Philosophical Logic