Abstract
The paper presents a logical treatment of actions based on dynamic logic. This approach makes it possible to reflect clearly the differences between static and dynamic elements of the world, a distinction which seems crucial to us for a representation of actions.
Starting from propositional dynamic logic a formal system (DLA) is developed, the programs of which are used to model action types. Some special features of this system are: Basic aspects of time are incorporated in DLA as far as they are needed for our purpose. Names for states and for instants are ‘simulated’ by formulas. It is possible to express formally that a formula is satisfiable or valid. A special program is introduced to reflect developments which are not caused by an ‘official agent’ but by external influences.
Having presented our basic system DLA we give some examples to illustrate how a logical system of this kind could be used for analysing essential aspects of actions. We therefore touch on such topics asthe results of actions, abilities of the agent, parallel performances of actions. Possibilities of and problems with logical representations of these features are informally discussed. Afterwards first steps towards integrating them into our basic systems are proposed by formally presenting an extension of DLA for each of the topics mentioned.
Similar content being viewed by others
References
Brennenstuhl, W., 1982,Control and Ability, Amsterdam/Philadelphia: J. Benjamins Company.
Brown, M. A., 1988, “On the logic of ability”,Journal of Philosophical Logic 17, 1–26.
Brown, M. A., 1990, “Action and ability”,Journal of Philosophical Logic 19, 95–114.
Buck-Penther, B., 1987,Eine deontische Logik auf der Grundlage dynamischer Aussagenlogik, Thesis, Kiel.
Chisholm, R. M., 1967, “Comments on von Wright's ‘The Logic of Action’”, inThe Logic of Decision and Action, N. Rescher (ed.), University of Pittsburgh Press.
Cross, Ch. B., 1986, “‘Can’ and the logic of ability”,Philosophical Studies 50, 53–64.
Davidson, D., 1971, “Agency”, inAgent, Action and Reason, R. Binkleyet al. (eds), Oxford.
Gärdenfors, P., 1978, “On the interpretation of deontic logic”,Logique et Analyse 84, 371–398.
Goldblatt, R., 1982, “Axiomatising the logic of computer programming’,Lecture Notes in Computer Science 130.
Kenny, A., 1975,Will, Freedom and Power, Oxford: Blackwell.
Passy, S. I., 1984,Combinatory Dynamic Logic, Thesis, Sofia.
Peleg, D., 1987, “Concurrent dynamic logic”,Journal of the ACM 34, 450–479.
Rescher, N., 1967, “Aspects of actions”, inThe Logic of Decision and Action, N. Rescher (ed.), University of Pittsburgh Press.
Robinson, J., 1967, “Comments on von Wright's ‘The Logic of Action’”, inThe Logic of Decision and Action, N. Rescher (ed.), University of Pittsburgh Press.
Segerberg, K., 1988, “Actions in dynamic logic”, Abstract,The Journal of Symbolic Logic 53, 1285–1286.
Segerberg, K., 1989, “Bringing it about”,Journal of Philosophical Logic 18, 327–347.
Wilm, A., 1991, “Determinism and non-determinism in PDL”,Theoretical Computer Science 87, 189–202.
von Wright, G. H., 1963,Norm and Action, London: Routledge & P. Kegan, New York: The Humanities Press.
von Wright, G. H., 1967, “The logic of action: A sketch”, inThe Logic of Decision and Action, N. Rescher (ed.), University of Pittsburgh Press.
von Wright, G. H., 1983,Practical Reason, Philosophical Papers Vol. I, Oxford: Blackwell.
Author information
Authors and Affiliations
Additional information
Statement of exclusive submission. This paper has not been submitted elsewhere in identical or similar form.
Rights and permissions
About this article
Cite this article
Penther, B. A dynamic logic of action. J Logic Lang Inf 3, 169–210 (1994). https://doi.org/10.1007/BF01053245
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01053245