Advertisement

Underlying Semantics for Action and Change with Ramification

Chapter
  • 224 Downloads

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1997

Authors and Affiliations

There are no affiliations available

Personalised recommendations