A set of articles, books, and so on that I've been reading and think worth sharing.
Kai von Fintel, Irene Heim, Intensional Semantics 2011, MIT lecture notes;
Emmon Bach, Informal Lectures on Formal Semantics 1989, State University of New York Press. My review
Flemming Nielson, Hanne Riss Nielson, Chris Hankin,Principles of Program Analysis 2ed 2005, Springer. My review
Graham Nelson, The Inform Designer's Manual 4th ed 2001, The Interactive Fiction Library.
Nelson is clear that his description is for a toy world and puzzles. However, his book has the some detailed and practical description of methaphysics. The models he describes do behave consistently, in useful ways, given the relatively simple elements they are made from.
Miriam Petruck's brief overview
A lot of more detailed articles are available online as well, e.g. | Frames And 85