A dynamic logic of action

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
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 15,831
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
Donald Davidson (1971). Agent, Action, and Reason. In Robert Binkley, Richard Bronaugh & Ausonio Marras (eds.), Agent, Action, and Reason. University of Toronto Press
Mark A. Brown (1988). On the Logic of Ability. Journal of Philosophical Logic 17 (1):1 - 26.
Krister Segerberg (1989). Bringing It About. Journal of Philosophical Logic 18 (4):327 - 347.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

15 ( #171,478 of 1,724,748 )

Recent downloads (6 months)

2 ( #268,625 of 1,724,748 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.