Getting started: Beginnings in the logic of action

A history of the logic of action is outlined, beginning with St Anselm. Five modern authors are discussed in some detail: von Wright, Fitch, Kanger, Chellas and Pratt.

[1]  Richard E. Ladner,et al.  Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..

[2]  William Kneale,et al.  The logic of Saint Anselm , 1970 .

[3]  Vaughan R. Pratt,et al.  SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.

[4]  R. Atkinson,et al.  Position and change : a study in law and logic , 1979 .

[5]  Vaughan R. Pratt,et al.  Semantical consideration on floyo-hoare logic , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

[6]  S. Kanger.  New Foundations for Ethical Theory , 1970 .

[7]  G. Hesslow.  Causality and Determinism , 1981, Philosophy of Science.

[8]  Robert Goldblatt,et al.  Axiomatising the Logic of Computer Programming , 1982, Lecture Notes in Computer Science.

[9]  D. Clarke.  The logical form of imperatives , 1975 .

[10]  Anthony Kenny,et al.  Will, freedom, and power , 1975 .

[11]  Vaughan R. Pratt,et al.  Application of modal logic to programming , 1980 .

[12]  Helle Kanger.  Human rights in the U.N. declaration , 1984 .

[13]  Mark A. Brown.  On the logic of ability , 1988, J. Philos. Log..

[14]  K. Segerberg.  A topological logic of action , 1984 .

[15]  Frederic Brenton Fitch,et al.  A logical analysis of some value concepts , 1963, Journal of Symbolic Logic.