A logic of planning agency

Abstract

The purpose of this paper is to give a formal account of a kind of agency so far neglected in the field of philosophical modal logic of action: planning agency. Interestingly enough, planning agency is something to which philosophy of action and other fields of logic had traditionally paid a considerable amount of attention. We therefore present here a logic of planning agency. We shall follow the standard approach of modal logics of agency exemplified by the works of Belnap, Chellas and Pörn. Moreover, since we believe there is a close relation between planning, time and indeterminism, we use the theory of branching time in the semantic characterization of our logic. We present the logic both syntactically and semantically, being the calculus sound and complete with respect to the semantics.