11推理方法論和語(yǔ)義學(xué)-資料下載頁(yè)
2025-08-04 07:47本頁(yè)面
【正文】 y of time. Proceedings IJCAI 1985: 528531Barwise J and Perry J. 1983. Situations and Attitutes, Cambridge, MA: The MIT Pressvan Benthem J. 1982. The logical study of science. Synthese, 51: 431472van Benthem J. 1983. The Logic of Time, Dordrecht: Reidelvan Benthem J. 1984. Foundations of conditional logic. Journal of Philosophical Logic, 13: 303349van Benthem J. 1985. The variety of consequence, according to Bolzano. Studia Logica, 44: 389403van Benthem J. 1986. Essays in Logical Semantics, Dordrecht: Reidelvan Benthem J. 1987. Verisimilitude and conditionals. In: What is ClosertotheTruth?, Kuipers Th ed. 103128, Amsterdam: Rodophivan Benthem J. 1989a. Logic, time and putation. In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 149, J. W. de Bakker et al. (eds), Berlin: Springervan Benthem J. 1989b. Polyadic quantifiers. Linguistics and Philosophy, 12: 437464van Benthem J. 1989c. Semantic parallels. In: Logic Colloquium, Granada 1987, 331375, . Ebbinghaus et al., eds, Amsterdam: North HollandDoyle J. 1983. Some theories of reasoned assumptions: an essay in rational psychology. Department of Computer Science, CarnegieMellon University, Pittsburgh, PAGabbay D and Guenthner F. eds. 1989. Handbook of Philosophical Logic, Vol. IV (Topics in the Philosophy of Language), Dordrecht: ReidelG228。rdenfors P. 1988. Knowledge in Flux. Modelling the Dynamics of Epistemic States, Cambridge, MA: Bradford Books/MIT PressGlymour . Theory and Evidence. Princeton: Princeton University PressHempel C. 1965. Aspects of Scientific Explanation, Glencoe, IL: The Free PressHooker C. ed. 1979. Physical Theory as LogicoOperational Structure, Dordrecht: ReidelKamp H. 1979. Intervals, events and temporal discourse. In Semantics from Different Points of View, R. B228。uerle et al., eds, 376417, Berlin: SpringerKrantz D, Luce D, Suppes P and Tversky A. 1985. Foundations of Measurement, New York: Academic Pressvan Lambalgen M. 1990. The axiomatization of randomness. Journal of Symbolic Logic, 55: 11431167Lamport L. 1985. Interprocessor munication. Final report. SRI Inernational, Menlo ParkMakinson D. 1989. General nonmonotonic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Gabbay D, Hogger C, and Robinson J eds, Oxford: Oxford University PressMedvedev Y. 1962. Finitnie zadachi. Dokladi Akademia Nauk USSR, 142: 10151018Mundy B. 1989. Elementary categorial logic, predicates of variable degree and theory of quantity. Journal of Philosophical Logic, 18: 115140Osherson D, Stob M, and Weinstein S. 1986. Systems that Learn, Cambrdige, MA: The MIT PressPelletier J and Schubert L. 1989. Mass Terms. In: Handbook of Philosophical Logic, vol. IV, Gabbay D M, and Guenthner F eds. Dordrecht: Kluwer Academic PublishersShoham Y. 1988. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, Cambridge, MA: The MIT PressSmirnov V. 1987. Logicheskije Metodi Analiza Nauchnowo Zanija, Moscow: Publishing House ‘Nauka’Sosa E. ed. 1975. Causation and Conditionals, Oxford: Oxford University PressSpohn W. 1988. Ordinal conditional functions: a dynamic theory of epistemic states. In: Causation in Decision, Belief Change and Statistics, Vol III, Harper W, and Skyrms B eds. 105134, Dordrecht: ReidelSuppe F. ed. 1977. The Structure of Scientific Theories, The University of Illinois Press, Urbana, ILSuppes P. 1973. Some open problems in the philosophy of space and time. In: Space, Time and Geometry, Suppes P., ed. 383401, Dordrecht: ReidelToulmin S. 1958. The Uses of Argument, Cambridge: Cambridge University PressVeltman F. 1989. Update semantics for defaults. Institute for Language, Logic and Information, University of AmsterdamWojcicki R. 1989. Aksiomaticheskaja traktowka nemonotonnich rassyzjdenij. In: Neklassicheskije Logiki i ich Primenenija, Smirnov V et al., eds. 140144, Institute of Philosophy, Academy of Sciences of USSR, Moscow
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1