Modal Logic and Classical Logic, Bibliopolis (1983)

by J van Benthem