nPhilosophical methods for describing entities, relations, events, tense, aspect
nFormal semantics: using tools (logic, inferencing) to prove meaning in a formalized, model-theoretic manner
nExplores structural properties, compositionality, interfaces with other aspects of language
nDerives from math, theorem proving, computation systems
nWidely used in current semantics work
n