Tekstiviesti: An introduction to modal logic / [by] G. E. Hughes [and] M. J. Cresswell.