Good Printed Reads

Randall Maas 9/15/2013 4:28:39 PM

A set of articles, books, and so on that I've been reading and think worth sharing.

Semantics, Modal Logic

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

Semantics of Programs

Flemming Nielson, Hanne Riss Nielson, Chris Hankin,Principles of Program Analysis 2ed 2005, Springer. My review

Practical applications

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.

Frame semantics

Wikipedia in Frame Semantics

Miriam Petruck's brief overview

A lot of more detailed articles are available online as well, e.g. | Frames And 85