 Sections  2  and  3  of this entry employ some basic tools from set theory and logical semantics. But these sections also provide intuitive characterizations alongside formal definitions, so familiarity with these tools is not a pre-requisite. Readers interested in more familiarity with these tools will find  basic set theory,  as well as Gamut (1991) and Sider (2010) useful.