Books on Amazon
Def S-proposition/Stalnaker-proposition/Stalnaker/Field: is a function of an algebra of possible worlds (not necessarily all Seagworlds comprehensively) on truth values - if we assume that not all worlds must have truth values, we can call an S-proposition simply a set of possible wordls - SP of an intentional state: can be called it s content - this is more coarse-grained than other approaches - belief/ Stalnaker: relations to S-propositions.
Realism, Mathematics and Modality Oxford New York 1989
Truth and the Absence of Fact Oxford New York 2001
Science without numbers Princeton New Jersey 1980