This book investigates the formal representation of aspectual distinctions within the framework of tense logic through the development of an axiomatic system. Antony Galton, a scholar in the field of formal logic, builds upon the foundational work of A.N. Prior to construct a rigorous mathematical model for temporal and aspectual phenomena. The text argues that by integrating aspectual notions directly into the logical formalism, one can achieve a more precise understanding of how events are structured in time. The resulting system, termed Event Logic, provides a structured approach to analyzing the logical properties of aspectual categories.

Experts in the field of philosophical logic recognize this work as a significant contribution to the formalization of aspectual semantics. Readers frequently note the high level of technical density and the specialized nature of the axiomatic proofs presented throughout the text.