Investigations into modal and tense logics, with applications to problems in linguistics and philosophy. Reidel Dordrecth (1976)

by D Gabbay