Termination conventions and comparative semantics

SummaryThe notion of termination is examined, first for its physical observability, then for its part in six semantic formalisms, with emphasis on predicative semantics.