This book is a thorough and detailed journey through a complex landscape: theories of truth and modality in languages that allow for self-referential sentences. As is well known, such languages are prone to paradoxes, and the book explores the main results in the field within classical logic. The…