Studia Logica 78 (3):381 - 415 (2004)
|Abstract||This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (expressing no learning and persistence of knowledge after actions). The deductive systems are proved sound and complete with respect to a Kripke-style semantics. Each of the considered logics is shown to have the small model property and therefore decidable.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Thor Grünbaum (2011). Perception and Non-Inferential Knowledge of Action. Philosophical Explorations 14 (2):153 - 167.
Renate A. Schmidt & Dmitry Tishkovsky (2008). On Combinations of Propositional Dynamic Logic and Doxastic Modal Logics. Journal of Logic, Language and Information 17 (1):109-129.
Brigitte Penther (1994). A Dynamic Logic of Action. Journal of Logic, Language and Information 3 (3):169-210.
Krister Segerberg (2012). DΔL: A Dynamic Deontic Logic. Synthese 185 (S1):1-17.
Andreas Herzig & Emiliano Lorini (2010). A Dynamic Logic of Agency I: Stit, Capabilities and Powers. [REVIEW] Journal of Logic, Language and Information 19 (1):89-121.
Churn-Jung Liau (2001). A Logical Analysis of the Relationship Between Commitment and Obligation. Journal of Logic, Language and Information 10 (2):237-261.
Added to index2009-01-28
Total downloads3 ( #212,976 of 722,700 )
Recent downloads (6 months)0
How can I increase my downloads?