A dynamic logic of action
type: Item
instance of: scholarly article
title: A dynamic logic of action
zbMATH Open document ID: 0810.03015
DOI: 10.1007/BF01053245
author: Brigitte Penther
published in: Journal of Logic, Language and Information
publication date: 1994-11-10T00:00:00Z
review text: The paper deals with various extensions of propositional dynamic logic (PDL) to logics for reasoning about action types. The basic extended formalism, DLA, incorporates names for states and time points. In the semantics, transition relations do not just relate states but rather pairs \(\langle s, t\rangle\), where \(s\) is a state and \(t\) is an instant. Moreover, the language of DLA contains an action program \(a\) representing all performances of atomic actions executable by the agent in the given context and an external influence program \(e\) representing the transitions which are beyond the influence of the agent. As an additional powerful technical device a universal program \(u\) is included representing the universal transition relation. DLA is then enlarged by further formula and action type forming operations. The three resulting extensions, \(\text{DLA}_ R\), \(\text{DLA}_ A\) and \(\text{DLA}_ P\), allow certain reasoning about the results of actions, abilities and parallel performances of actions, respectively. Each extension of DLA is carefully motivated by drawing on widely accepted conceptual analyses of action theorists, in particular G. H. von Wright. The paper is clearly written. The systems presented might at first sight appear to be rather complex, both syntactically and semantically. However, the suggested axiom schemata and inference rules as well as the semantical models seem intuitively plausible, and, moreover, the sketches of the completeness proofs follow a familiar pattern. When compared to pure PDL, DLA and its extensions provide a considerable increase of expressiveness, which, without doubt, will prove to be useful for a logical analysis of human action.
reviewed by: Heinrich Wansing
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 683205
zbMATH Keywords: extensions of propositional dynamic logic
zbMATH Keywords: logics for reasoning about action types
zbMATH Keywords: parallel performances
MaRDI profile type: Publication
cites work: On the logic of ability
cites work: Action and ability
cites work: Q3028978
cites work: Q4200042
cites work: Axiomatising the logic of computer programming
cites work: Concurrent dynamic logic
cites work: Q5590035
cites work: Meeting of the association for symbolic logic
cites work: Bringing it about
cites work: Determinism and non-determinism in PDL
cites work: Q5628090
Recommended article: Reasoning about action and change. A dynamic logic approach
Recommended article: A dynamic logic for acting, sensing, and planning
Recommended article: Q4511320
Recommended article: On the dynamic logic of agency and action
Recommended article: Q4525781
Recommended article: Q4789445
Recommended article: Q4343990
Recommended article: Dynamic logic for reasoning about actions and agents
Recommended article: The logic of action and control
Recommended article: Dynamic Epistemic Preferential Logic of Action
description: scientific article; zbMATH DE number 683205