@TECHREPORT{SchmidtTishkovskyHustadt03a,
AUTHOR = {Schmidt, R. A. and Tishkovsky, D. and Hustadt, U.},
YEAR = {2003},
TITLE = {Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic},
TYPE = {Preprint},
NUMBER = {CSPP-27},
INSTITUTION = {University of Manchester},
ADDRESS = {UK},
NOTE = {The short version is to appear in \emph{Studia Logica}},
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/SchmidtTishkovskyHustadt03a.html}},
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.}
}