Pepperdine Papers on Linear Temporal Logic | lit.salon