References
BodenMargaret, Artificial Intelligence and Natural Man, Brighton: Harvester Press, 1977.
FischerMichael J. & LadnerRichard E., “Propositional dynamic logic of regular programs,” Journal of Computer and System Sciences, Vol. 18 (1979), pp 194–211.
Goldblatt, R. I., review article in The Journal of Symbolic Logic, vol. 51 (1986), pp. 225–227.
KennyAnthony, Will, Freedom and Power, Oxford: Blackwell, 1975.
KozenDexter & ParikhRohit, “An elementary proof of the completeness of PDL,” Theoretical Computer Science, Vol. 14 (1981), pp. 113–118.
SegerbergKrister, “A completeness theorem in the modal logic of programs,” In Universal Algebra and Applications (ed. T.Traczyk), pp. 31–46. Banach Center Publications, Vol. 9. (Warsaw: PWN, 1982).
SegerbergKrister, “The logic of deliberate action,” Journal of Philosophical Logic, Vol. 11 (1982), pp. 233–254.
SegerbergKrister, “Routines”, Synthesis, Vol. 65 (1985), pp. 185–210.
SegerbergKrister, “Actions in dynamic logic,” Abstract. The Journal of Symbolic Logic, Vol. 53 (1988), pp. 1285–1286.
SuppesPartick, Probabilistic Metaphysics, Oxford: Blackwell, 1984.
vonWrightGeorg Henrik, Norm and Action, London: Routledge & Kegan Paul, 1963.
vonWrightGeorg Henrik, Explanation and Understanding, Ithaca, N.Y.: Cornell University Press, 1971.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Segerberg, K. Bringing it about. J Philos Logic 18, 327–347 (1989). https://doi.org/10.1007/BF00262940
Issue Date:
DOI: https://doi.org/10.1007/BF00262940