Literatur
Åqvist, L.: 1974, ‘A New Approach to the Logical Theory of Action and Causality’, in S. Stenlund (ed.), Logical Theory and Semantic Analysis, Reidel, Dordrecht, pp. 73–91.
Cresswell, M. J.: 1977, ‘Interval Semantics and Logical Words’, in C. Rohrer (ed.), On the Logical Analysis of Tense and Aspect, Tübingen, pp. 7–29.
Harel, D.: 1979, First Order Dynamic Logic, Berlin.
Harel, D., Kozen, D., und Parikh, R.: 1980, ‘Process Logic: Expressiveness, Decidability, Completeness’, Proc. IEEE Symp. on Foundations of Comp. Sci. 129–142.
Hoare, C. A. R.: 1969, ‘An Axiomatic Basis for Computer Programming’, Comm. ACM 12, 576–580.
Kamp, H.: 1968, ‘Tense Logic and the Theory of Linear Order’, dissertation, Univ. of California, Los Angeles.
Kamp, H.: 1971, ‘Formal Properties of ‘Now’’, Theoria 37, 227–233.
Kenny, A.: 1963, Action, Emotion, and Will, New York.
Krantz, D., Luce, R., Suppes, P., und Tversky, A.: 1971, Foundations of Measurement, Bd. I, New York.
Kutschera, F. v.: 1967, Elementare Logik, Wien.
Kutschera, F. v.: 1976, Einführung in die intensionale Semantik, Berlin.
Kutschera, F. v.: 1980, ‘Grundbegriffe der Handlungslogik’, in H. Lenk (Hg.), Handlungstheorien interdisziplinär, Bd. I; Handlungslogik, formale und sprachwissenschaftliche Handlungstheorien, München, pp. 67–106.
Kutschera, F. v.: 1986, ‘Zwei modallogische Argumente für den Determinismus: Aristoteles und Diodor’, Erkenntnis 24, 203–217.
Mourelatos, A. P. D.: 1978, ‘Events, Processes, and States’, Linguistics and Philosophy 2, 415–34.
Pratt, V. R.: 1976, ‘Semantical Considerations on Floyd-Hoare Logic’, Proc. 17th IEEE Symp. on Found. of Comp. Science 109–121.
Pratt, V. R.: 1977, ‘Process Logic: Preliminary Report’, Proc. 6th ACM Symp. on Princ. of Progr. Lang. 93–100.
Vendler, Z.: 1957, ‘Verbs and Times’, Philosophical Review 56, 143–60; revidierte Fassung als Kap. 4 von Linguistics in Philosophy, Ithaca, New York, 1967.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
von Kutschera, F. Bewirken. Erkenntnis 24, 253–281 (1986). https://doi.org/10.1007/BF00205016
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00205016