Underlying Semantics for Action and Change with Ramification
- 224 Downloads
In earlier publications addressing logics of actions and change, we have developed an underlying semantics for the special case of strict inertia, and used it for assessment of the range of applicability of a number of entailment methods. The case of strict inertia does not allow for ramification, qualifications, or surprises. The present article addresses the problem of ramification using the same systematic methodology as was previously used for strict inertia. We start with a discussion of methodology.
Unable to display preview. Download preview PDF.