The course applies Finite-State Methods to Sub-Atomic Semantics, a label from Parsons 1990 for the study of those "formulas of English" that are treated as atomic formulas in most logical investigations of English - including tense and aspect, and predication/modification. Implicit in the idea of sub-atomic semantics is non-atomicity, or put another way, open-endedness. One form of open-endedness is variable adicity, the raison d’etre of events in Davidson 1967. A second form of open-endedness arises from the choice of temporal propositions, changes in which determine a notion of time. We analyze open-endedness uniformly through model-theoretic notions of satisfaction formulated within institutions in the sense of Goguen and Burstall 1992. Models take the form of strings, as in the Buechi-Elgot-Trakhtenbrot representation of regular languages in Monadic Second-Order Logic, and of finite frames, understood as finite automata.