Modal correspondence for models (1998)

by Jon Barwise, Lawrence S Moss
Venue:J. Philos. Logic