Journal of Logic, Language and Information 3 (3):169-210 (1994)
| 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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
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.
View all 11 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
The Gamut of Dynamic Logics.Martin Stokhof & Jan van Eijck - 2006 - In Dov Gabbay & John Woods (eds.), The Handbook of the History of Logic. Volume 6: Logic and Modalities in the Twentieth Century. Elsevier. pp. 499-600.
A Logical Analysis of the Relationship Between Commitment and Obligation.Churn-Jung Liau - 2001 - Journal of Logic, Language and Information 10 (2):237-261.
A Dynamic Logic of Agency II: Deterministic Dla {\mathcal{Dla}} , Coalition Logic, and Game Theory.Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (3):327-351.
Logics for Epistemic Programs.Alexandru Baltag & Lawrence S. Moss - 2004 - Synthese 139 (2):165 - 224.
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 )
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
