Davidson and Reiter on Actions

• Autorzy: White G.
• Języki publikacji: EN
• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 84, nr 2
• Strony: 259--289
• Opis fizyczny: bibliogr. 22 poz.

Twórcy

autor

White G.

• Department of Computer Science, Queen Mary University of London, London E1 4Ns, Great Britain,

Bibliografia

• [1] Austin, J.: A Plea for Excuses, Proceedings of the Aristotelean Society, 57, 1956-7, Reprinted in [2, pp. 175-204].
• [2] Austin, J.: Philosophical Papers, Oxford University Press, 1970.
• [3] Bull, R., Segerberg, K.: Basic Modal Logic, in: Handbook of Philosophical Logic II: Extensions of Classical Logic (D. Gabbay, F. Guenther, Eds.), vol. 165 of Synthese Library, first edition, Reidel, Dordrecht, 1984, 1-88.
• [4] Davidson, D.: The Logical Form of Action Sentences, in: Essays on Actions and Events, Oxford University Press, 1980, 105-148, Originally published in N. Rescher (ed.), The Logic of Decision and Action, University of Pittsburgh Press, 1967.
• [5] Hein, R.: Geometric Theories and Modal Logic in the Calculus of Structures, Master Thesis, Technische Universit¨at Dresden, 2005.
• [6] Hein, R., Stewart, C.: Purity Through Unravelling, Structures and Deduction (P. Bruscoli, F. Lamarche, C. Stewart, Eds.), Technische Universit¨at Dresden, 2005, ISSN 1430-211X.
• [7] Jacobs, B.: Categorical Logic and Type Theory, Number 141 in Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam, 1999.
• [8] Johnstone, P. T.: Stone Spaces, Number 3 in Cambridge Studies in Advanced Mathematics, Cambridge University Press, 1982.
• [9] Jónsson, E., Tarski, A.: Boolean Algebras with Operators: Part 1, American Journal of Mathematics, 73, 1951, 891-939.
• [10] Kracht, M.: Power and Weakness of the Modal Display Calculus, in: Proof Theory of Modal Logic, Kluwer Academic Publishers, Dordrecht, 1996, 93-121.
• [11] Lawvere, F.: Adjointness in Foundations, Dialectica, 23, 1969, 281-296.
• [12] Palmgren, E., Vickers, S.: Partial Horn Logic and Cartesian Categories, 2005, To appear in Annals of Pure and Applied Logic.
• [13] Quine, W. v. O.: Word and Object, MIT, CambridgeMA, 1960.
• [14] Quine, W. v. O.: Ontological Relativity, in: Ontological Relativity and Other Essays [15], 26-68.
• [15] Quine, W. v. O.: Ontological Relativity and Other Essays, Columbia, New York NY, 1969.
• [16] Quine, W. v. O.: Speaking of Objects, in: Ontological Relativity and Other Essays [15], 1-25.
• [17] Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, Cambridge MA, 2001.
• [18] Ryan, M., Schobbens, P.-Y.: Counterfactuals and Updates as InverseModalities, Journal of Logic, Language and Information, 6, 1997.
• [19] Simpson, A. K.: The Proof Theory and Semantics of Intuitionistic Modal Logic, Ph.D. Thesis, University of Edinburgh, 1994.
• [20] Stewart, C., Stouppa, P.: A Systematic Proof Theory for Several Modal Logics, Advances in Modal Logic (R. Schmidt, I. Pratt-Hartmann,M. Reynolds, H. Wansing, Eds.), 5, 2005.
• [21] Stouppa, P.: The Design of Modal Proof Theories: The case of S5, Master Thesis, Technische Universität Dresden, 2004.
• [22] White, G. G.: Intensionality and Circumscription, Proceedings of the 9th International Conference on Non-Monotonic Reasoning (NMR2002) (S. Benferhat, E. Giunchiglia, Eds.), 2002, Toulouse, April 2002.