Possible Worlds: An Introduction to Logic and Its Philosophy