This RCast begins with a discussion of TLA (Temporal Logic of Actions), but most of the conversation focuses on LADL.