Normal bimodal logics of ability and action

Research paper by Mark A. Brown

Indexed on: 01 Sep '92Published on: 01 Sep '92Published in: Studia Logica


A number of extensions of the basic systemK/K are constructed, first by strengthening the two normal sublogics independently and then by linking the two sublogics via axiom schemata involving both operators. The result is a series of increasingly strong systems which more and more adequately fulfill our expectations for a satisfactory logic of action and ability.