Outline of a Logic of Action

摘要

A semantics for action logic is presented, which combines elements from three sources: von Wright's philosophy of action, dynamic logic, and action logic in the style of Scott, Chellas, and Belnap.