This is a preview of subscription content, log in via an institution to check access.
References
Ehrenfeucht, A., ‘An application of games to the completeness problem for formalized theories’, Fund. Math. 49 (1961), 129-141.
Ehrenfeucht, A., ‘Logic without Iterations’, Proceedings of the Tarski Symposium, 1974, American Math. Soc., 265-268.
Ehrenfeucht, A., R. Parikh and G. Rozenberg, ‘Pumping lemmas for regular sets’, SIAM J. Computing 10 (1981), 536-541.
de Jongh, D.H.J., N. Goodman and R. Parikh, ‘On regular *-structures with classical theories’, J. Symb. Logic 37 (1972), 777.
Meyer, A., and R. Parikh, ‘Definability in dynamic logic’, 12th ACM-STOC, 1980, 1-7, also J. Comp. Sys. Sci. 23 (1981), 279-298.
Parikh, R., ‘D-Structures and their semantics’, in Essays Dedicated to Johan van Benthem on his 50th Birthday, J. Gerbrandy, M. Marx, M. de Rijke and Y. Venema (eds.), Amsterdam, U. Press 1999.
Parikh, R., and J. Mayberry, ‘D-structures and *-structures’, Notices of the Amer. Math. Soc. 19 (1972), A454.
References
Aristotle, Eth. Nic.: Nicomachean Ethics, tr. W. D. Ross, in Aristotle, Works, Oxford, Clarendon, 1925, vol. 9.
Belnap, N. D., 1962, ‘Tonk, plonk, and plink’, Analysis 22, 130-134.
Hamblin, C. L., 1987, Imperatives, New York, Blackwell.
Lakatos, I., 1976, Proofs and Refutations, ed. J. Worrall & E. Zahar, Cambridge, Cambridge University Press.
Searle, J. R., 1989: Intentionality: An Essay in the Philosophy of Mind, Cambridge, Cambridge University Press.
References
Alchourrón, C. E., Gärdenfors, P., and Makinson, D., ‘On the logic of theory change: Partial meet contraction and revision functions’, Journal of Symbolic Logic 50 (1985), 510-530.
Gärdenfors, P., Knowledge in Flux. Modeling the Dynamics of Epistemic States, The MIT Press, Cambridge, Massachusetts, 1988.
Hansson, S. O., A Textbook of Belief Dynamics. Theory Change and Database Updating, Kluwer, 1999.
Jaeger, J. A., ‘Action and subtraction’, Philosophical Review 82 (1973), 320-329.
Rights and permissions
About this article
Cite this article
Book Reviews. Studia Logica 65, 273–298 (2000). https://doi.org/10.1023/A:1017286832194
Issue Date:
DOI: https://doi.org/10.1023/A:1017286832194