The first systematic introduction to the ternary relational frame theory for relevant logics that includes both modal and quantified extensions. For readers who are interested in learning about the rapidly expanding field of non-classical logics, and also readers familiar with more common topics in philosophical logic, such as modal logic.