Three traditions in the logic of action: bringing them together
Résumé
We propose a Dynamic Logic of Propositional Control (DL-PC) that is equipped with two dynamic modal operators: one of ability and one of action. We integrate into DL-PC the concept of ‘seeing to it that’ (abbreviated by stit) as studied by Belnap, Horty and others. We prove decidability of DL-PC satisfiability and establish the relation with the logic of the Chellas stit opertor.