Action theories - Archive ouverte HAL
Chapitre D'ouvrage Année : 2018

Action theories

Résumé

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.
Fichier non déposé

Dates et versions

hal-03033977 , version 1 (01-12-2020)

Identifiants

  • HAL Id : hal-03033977 , version 1

Citer

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⟩
34 Consultations
0 Téléchargements

Partager

More