Modality
Backlinks
Propositional Linear Temporal Logic
Separation Logic