New Modal Logic Books

Update on my old post on modal logic textbooks: Two new modal logic books I have recently come across:

• Nino B. Cocchiarella and Max A. Freund, Modal Logic: An Introduction to its Syntax and Semantics (Oxford, 2008)
• Walter Carnielli and Claudio Pizzi, Modalities and Multimodalities (Springer, 2008)

Anyone already read these and have an opinion? The Carnielli/Pizzi text looks especially interesting--and the full text is available online! (Not free, of course. It's Springer, after all.)

I also noticed that a few classic books/collections of classical papers on modality are now online at Oxford Scholarship Online, including:

• Kit Fine, Modality and Tense (Oxford, 2005)
• Ruth Barcan Marcus, Modalities: Philosophical Essays (Oxford, 1995)
• Alvin Plantinga, The Nature of Necessity (Oxford, 1978)
• Robert C. Stalnaker, Ways a World Might Be (Oxford, 2003)