Action theories

Andreas Herzig (1, 2) , Emiliano Lorini (1, 2) , Nicolas Troquard (3)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 Free University of Bozen-Bolzano

We present the main logical theories of action. We distinguish theories identifying an action with its result from theories studying actions in terms of both their results and the means that result is obtained. The first family includes most prominently the logic of seeing-to-it-that and the logic of bringing-it-about-that. The second includes propositional dynamic logic and its variants. For all these logics we overview their extensions by other modalities such as modal operators of knowledge, belief, and obligation.

Mots clés: philosophy of action; logic of action; dynamic logic; STIT; seeing-to-it-that; bringing it about

Domaines: Informatique [cs]

Andreas Herzig, Emiliano Lorini, Nicolas Troquard. Action theories. Hansson, Sven Ove; Hendricks, Vincent F. Handbook of Formal Philosophy, 33, Springer, pp.591--607, 2018, Springer Undergraduate Texts in Philosophy book series (SUTP), 978-3-319-77433-6. ⟨hal-03033977⟩