Title: Term-modal logic and quantifier-free dynamic assignment logic
Subjects: Computer logic