Title: Updates and subjunctive queries
Subjects: Artificial intelligence, Symbolic and mathematical Logic