Contexts in dynamic predicate logic
scientific article; zbMATH DE number 1139825