Title: Dynamic modal predicate logic
First published: 1993