行动、博弈与推理

行动不描述客观事态,因而它无真值,因此不能用命题连接词将基本行动连接成复合行动。行动模态或意志模态——不同于命题模态——其算子加于行动之上才能构成行动模态命题。行动逻辑研究的是行动模态命题之间的逻辑关系,当然这里的关系可能处于多个行动者的博弈之中。