User:Oraintxe/sandbox

Propositional Linear-time Temporal Logic

Minimal language:
 * Propositional variables from a countable set Prop. Elements of Prop are usually represented by lowercase letters p, q, r, ...
 * Classical propositional connectives /\ and ¬