Three traditions in the logic of action: bringing them together - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2013

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

Dates et versions

hal-03464936 , version 1 (03-12-2021)

Identifiants

Citer

Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard. Three traditions in the logic of action: bringing them together. Trypuz, Robert. Krister Segerberg on Logic of Action, 1, Springer, pp.61-84, 2013, Outstanding Contributions to Logic book series (OCTR), 978-94-007-7045-4. ⟨10.1007/978-94-007-7046-1_4⟩. ⟨hal-03464936⟩
28 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More