Prolegomena to the Definition of Dynamic Predicate Logic with Local Assignments
Publication date
1997-10-21
Authors
Visser, A.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
In this paper we subject the possible ways to define versions of DPL with
local assignments to a thorough and detailed scrutiny. We hope that our
treatment is suggestive of the proper 'abstract' view of dynamic logics
that we would like to arrive at eventually.
Keywords
Dynamic Predicate Logic, Scope, Natural Language, Meaning, File Semantics, Donkey, Monoid, Monoidal Processing, Partiality, Underflow, Transition Systems