Dynamic predicate logic1991-02-010 OA AI DOI:10.1007/bf00628304OriginalOriginal request for helpShareSaveAbstract En