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.
Keywords Propositional dynamic logic  logic of action  representation of time  indeterminism  results of actions  abilities  parallel performances
Categories (categorize this paper)
DOI 10.1007/BF01053245
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,265
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Agent, Action, and Reason.Donald Davidson - 1971 - In Robert Binkley, Richard Bronaugh & Ausonio Marras (eds.), Agent, Action, and Reason. University of Toronto Press.
On the Logic of Ability.Mark A. Brown - 1988 - Journal of Philosophical Logic 17 (1):1 - 26.
Bringing It About.Krister Segerberg - 1989 - Journal of Philosophical Logic 18 (4):327 - 347.
'Can' and the Logic of Ability.Charles B. Cross - 1986 - Philosophical Studies 50 (1):53-64.

View all 11 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
35 ( #325,394 of 2,507,661 )

Recent downloads (6 months)
1 ( #416,871 of 2,507,661 )

How can I increase my downloads?

Downloads

My notes