A Non-monotone Logic for Reasoning about Action

摘要

A logic for reasoning about action is presented. The logic is based on the idea that explicit substitutions can be seen as atomic formulae describing basic change of state of a system. The logic is non-monotone, i.e., it does not admit weakening in its presentation as a fragment of non-commutative linear logic. Potential applications of the logic are also discussed in connection to the "Frame Problem".