메뉴 건너뛰기




Volumn 49, Issue 196, 2006, Pages 433-460

The logic of being informed

Author keywords

[No Author keywords available]

Indexed keywords


EID: 46749125092     PISSN: 00245836     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (52)

References (57)
  • 1
    • 60349127145 scopus 로고    scopus 로고
    • Being Informative - Information as Information Handling
    • K.-D. Althoff, A. Dengel, R. Bergmann, M. Nick and T. Roth-Berghofer,
    • Allo, P., 2005, "Being Informative - Information as Informationed., DFKI Gmbh, KaiserslauternHandling", in: WM2005: Professional Knowledge Management Experiences andVisions, K.-D. Althoff, A. Dengel, R. Bergmann, M. Nick and T. Roth-Berghofer,ed., DFKI Gmbh, Kaiserslautern: 579-586
    • (2005) WM2005: Professional Knowledge Management Experiences and Visions , pp. 579-586
    • Allo, P.1
  • 2
    • 29144460434 scopus 로고    scopus 로고
    • On Epistemic Logic with Justification
    • Singapore, edited by, National University of Singapore
    • Artemov, S., and Nogina, E. 2005, "On Epistemic Logic withand knowledgeJustification", in: Proceedings of the 10th conference on Theoreticalaspects of rationality and knowledge, Singapore, edited by Ron van der Meyden(National University of Singapore), 279-294
    • (2005) Proceedings of the 10th conference on Theoretical aspects of rationality , pp. 279-294
    • Artemov, S.1    Nogina, E.2
  • 3
    • 14044275654 scopus 로고    scopus 로고
    • Logics for Epistemic Programs
    • Baltag, A. and L. S. Moss, 2004, Logics for Epistemic Programs, Synthese139(2): 165-224
    • (2004) Synthese , vol.139 , Issue.2 , pp. 165-224
    • Baltag, A.1    Moss, L.S.2
  • 6
    • 1642470007 scopus 로고
    • Metaprogramming in Logic
    • edited by A. Kent and J. G. Williams New York: Marcel Dekker
    • Barklund, J. 1995, "Metaprogramming in Logic", in: Encyclopediaof Computer Science and Technology, edited by A. Kent and J. G. Williams (NewYork: Marcel Dekker), vol. 33, 205-227
    • (1995) Encyclopedia of Computer Science and Technology , vol.33 , pp. 205-227
    • Barklund, J.1
  • 13
    • 0003717511 scopus 로고
    • Cambridge: Cambridge University Press
    • Devlin, K. J. 1991, Logic and Information, (Cambridge: CambridgeUniversity Press)
    • (1991) Logic and Information
    • Devlin, K.J.1
  • 14
    • 46749102248 scopus 로고    scopus 로고
    • System Modeling and Information Semantics
    • Borlänge, Sweden, edited by, and, Studentlitteratur: Lund
    • Dodig-Crnkovic, G. 2005, "System Modeling and InformationSemantics", in: Proceedings of the Fifth Promote IT Conference,Borlänge, Sweden, edited by Janis Bubenko, Owen Eriksson, Hans Fernlund,and Mikael Lind (Studentlitteratur: Lund)
    • (2005) Proceedings of the Fifth Promote IT Conference
    • Dodig-Crnkovic, G.1
  • 15
    • 0004176485 scopus 로고
    • Oxford: Blackwell, Reprinted in 1999 Stanford, CA: CSLI Publications
    • Dretske, F. I. 1981, Knowledge and the Flow of Information (OxfordBlackwell). Reprinted in 1999 (Stanford, CA: CSLI Publications)
    • (1981) Knowledge and the Flow of Information
    • Dretske, F.I.1
  • 16
    • 0023842375 scopus 로고
    • Belief, Awareness and Limited Reasoning
    • Fagin, R., and Halpern, J. Y. 1988, "Belief, Awareness and LimitedReasoning", Artificial Intelligence, 34, 39-76
    • (1988) Artificial Intelligence , vol.34 , pp. 39-76
    • Fagin, R.1    Halpern, J.Y.2
  • 17
    • 60950575714 scopus 로고    scopus 로고
    • Information, Misinformation, and Disinformation
    • Fetzer, J. H. 2004, "Information, Misinformation, andDisinformation", Minds and Machines
    • (2004) Minds and Machines
    • Fetzer, J.H.1
  • 18
    • 38749130403 scopus 로고    scopus 로고
    • The Renaissance of Epistemology: 1914-1945
    • edited by Thomas Baldwin Cambridge: Cambridge University Press
    • Floridi, L. 2003, "The Renaissance of Epistemology: 1914-1945"in: Cambridge History of Philosophy 1870-1945, edited by Thomas Baldwin(Cambridge: Cambridge University Press)
    • (2003) Cambridge History of Philosophy 1870-1945
    • Floridi, L.1
  • 20
    • 33745417475 scopus 로고    scopus 로고
    • On the Logical Unsolvability of the Gettier Problem
    • Floridi, L. 2004b, "On the Logical Unsolvability of the GettierProblem", Synthese, 142(1), 61-79
    • (2004) Synthese , vol.142 , Issue.1 , pp. 61-79
    • Floridi, L.1
  • 21
    • 0242554916 scopus 로고    scopus 로고
    • Open Problems in the Philosophy of Information
    • Floridi, L. 2004c, "Open Problems in the Philosophy ofInformation", Metaphilosophy, 35(4), 554-582
    • (2004) Metaphilosophy , vol.35 , Issue.4 , pp. 554-582
    • Floridi, L.1
  • 22
    • 1842739344 scopus 로고    scopus 로고
    • Outline of a Theory of Strongly Semantic Information
    • Floridi, L. 2004d, "Outline of a Theory of Strongly SemanticInformation", Minds and Machines, 14(2), 197-222
    • (2004) Minds and Machines , vol.14 , Issue.2 , pp. 197-222
    • Floridi, L.1
  • 24
    • 36849010100 scopus 로고    scopus 로고
    • Semantic Conceptions of Information
    • edited by Edward N. Zalta
    • Floridi, L. 2005b, "Semantic Conceptions of Information" Stanford Encyclopedia of Philosophy, edited by Edward N. Zalta,http://plato. stanford.edu/entries/information-semantic
    • (2005) Stanford Encyclopedia of Philosophy
    • Floridi, L.1
  • 26
    • 38749110325 scopus 로고    scopus 로고
    • Levellism and the Method of Abstraction
    • forthcoming, The final draft of this paper is available as IEG, Research
    • Floridi, L., and Sanders, J. W. forthcoming, "Levellism and theReport 22.11.04,Method of Abstraction". The final draft of this paper is available as IEG -Research Report 22.11.04, see www.wolfson.ox.ac.uk/ ∼floridi/pdf/ latmoa.pdf
    • Floridi, L.1    Sanders, J.W.2
  • 30
    • 2942697713 scopus 로고    scopus 로고
    • Mathematical Modal Logic: A View of Its Evolution
    • Goldblatt, R. 2003, "Mathematical Modal Logic: A View of ItsEvolution", Journal of Applied Logic, 1(5-6), 309-392
    • (2003) Journal of Applied Logic , vol.1 , Issue.5-6 , pp. 309-392
    • Goldblatt, R.1
  • 31
    • 0028601244 scopus 로고
    • Omnipotence without Omniscience: Efficient Sensor Management for Software
    • Seattle, Washington, United States, edited by O. Etzioni (AAAI Press)
    • Golden, K., Etzioni, O., and Weld, D. 1994, "Omnipotence withoutAgentsOmniscience: Efficient Sensor Management for Software Agents", in:Proceedings of the twelfth national conference on Artificial intelligence,Seattle, Washington, United States, edited by O. Etzioni (AAAI Press), 1048-1054
    • (1994) Proceedings of the twelfth national conference on Artificial intelligence , pp. 1048-1054
    • Golden, K.1    Etzioni, O.2    Weld, D.3
  • 36
    • 35348893781 scopus 로고    scopus 로고
    • Should Knowledge Entail Belief?
    • Halpern, J. Y. 1996, "Should Knowledge Entail Belief?" Journalof Philosophical Logic, 25(5), 483-494
    • (1996) Journal of Philosophical Logic , vol.25 , Issue.5 , pp. 483-494
    • Halpern, J.Y.1
  • 38
  • 40
    • 85030864945 scopus 로고
    • Knowledge, Belief and Time
    • edited by C. Krott Springer
    • Kraus, S., and Lehmann, D. 1986, "Knowledge, Belief and Time"in: Proceedings of the 13th ICALP, edited by C. Krott (Springer), 186-195
    • (1986) Proceedings of the 13th ICALP , pp. 186-195
    • Kraus, S.1    Lehmann, D.2
  • 41
    • 0039380544 scopus 로고
    • Is There Only One Correct System of Modal Logic?
    • Lemmon, E. J. 1959, "Is There Only One Correct System of ModalLogic?", Proceedings of the Aristotelian Society, 23, 23-40
    • (1959) Proceedings of the Aristotelian Society , vol.23 , pp. 23-40
    • Lemmon, E.J.1
  • 43
    • 79955274647 scopus 로고    scopus 로고
    • Epistemic Logic
    • edited by I. Niniiluoto, M. Sintonen, and J. Wolenski Dordrecht: Kluwer,
    • Lenzen, W. 2002, "Epistemic Logic" in: Handbook ofchap. 25Epistemology, edited by I. Niniiluoto, M. Sintonen, and J. Wolenski (Dordrecht:Kluwer), chap. 25
    • (2002) Handbook of Epistemology
    • Lenzen, W.1
  • 44
    • 0020979435 scopus 로고
    • A Logic of Implicit and Explicit Belief
    • Austin, TX
    • Levesque, H. 1984, "A Logic of Implicit and Explicit Belief, inProceedings AAAI-84, Austin, TX, 198-202
    • (1984) Proceedings AAAI-84 , pp. 198-202
    • Levesque, H.1
  • 47
    • 34547299278 scopus 로고    scopus 로고
    • Normal Modal Logics Containing KTB with Some Finiteness Conditions
    • edited by R. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing
    • Miyazaki, Y. 2005, "Normal Modal Logics Containing KTB with SomeLondon: College PublicationsFiniteness Conditions", in: Advances in Modal logic, Vol. 5, edited by R.Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing (London: CollegePublications), 171-190
    • (2005) Advances in Modal logic , vol.5 , pp. 171-190
    • Miyazaki, Y.1
  • 48
    • 0002572155 scopus 로고
    • Modeling Rational Agents within a BDI-Architecture
    • edited by J. Allen, R. Fikes, and E. Sandewall San Mateo, CA: Morgan
    • Rao, A., and Georgeff, M. 1991, "Modeling Rational Agents within aKnowledge Representation and ReasoningKaufmannBDI-Architecture" in: Proceedings of the Second International Conference onPrinciples of Knowledge Representation and Reasoning, edited by J. Allen, R.Fikes, and E. Sandewall (San Mateo, CA: Morgan Kaufmann), 473-484
    • (1991) Proceedings of the Second International Conference on Principles of , pp. 473-484
    • Rao, A.1    Georgeff, M.2
  • 50
    • 60950477639 scopus 로고
    • Aberdeen and Atlantic Highlands, NJ: Aberdeen University Press,
    • Schlesinger, G. N. 1985, The Range of Epistemic Logic (Aberdeen andHumanities PressAtlantic Highlands , NJ: Aberdeen University Press - Humanities Press)
    • (1985) The Range of Epistemic Logic
    • Schlesinger, G.N.1
  • 51
    • 0003685012 scopus 로고    scopus 로고
    • (Urbana: University of Illinois Press). Foreword by Richard E. Blahut and
    • Shannon, C. E., and Weaver, W. 1949 rep. 1998, The Mathematical Theory ofBruce Hajek. 1949Communication (Urbana: University of Illinois Press). Foreword by Richard E.Blahut and Bruce Hajek
    • (1998) The Mathematical Theory of Communication
    • Shannon, C.E.1    Weaver, W.2
  • 52
    • 26544479200 scopus 로고
    • Reflections on Epistemic Logic
    • van Benthem, J. 1991, "Reflections on Epistemic Logic", Logique& Analyse, 34(133-134), 5-14
    • (1991) Logique & Analyse , vol.34 , Issue.133 , pp. 5-14
    • van Benthem, J.1
  • 53
    • 2442512394 scopus 로고
    • Systems for Knowledge and Beliefs
    • edited by J. van Eijck Berlin: Springer
    • van der Hoek, W. 1991, "Systems for Knowledge and Beliefs" inLogics in Ai, edited by J. van Eijck (Berlin: Springer), 267-281
    • (1991) Logics in Ai , pp. 267-281
    • van der Hoek, W.1
  • 54
    • 85030842915 scopus 로고
    • The Logic of Objective Knowledge and Rational Belief
    • edited by Jan van Eijck Springer
    • Voorbraak, F. 1991, "The Logic of Objective Knowledge and RationalBelief, in: Logics in AI, European Workshop JELIA '90, edited by Jan van Eijck(Springer), 499-515
    • (1991) Logics in AI, European Workshop JELIA '90 , pp. 499-515
    • Voorbraak, F.1
  • 55
    • 0346840339 scopus 로고
    • Generalised Kripke Models for Epistemic Logic
    • edited by Y. O. Moses Morgan Kaufmann
    • Voorbraak, F. 1992, "Generalised Kripke Models for EpistemicFourth ConferenceLogic", in: Theoretical Aspects of Reasoning about Knowledge - Proceedingsof the Fourth Conference, edited by Y. O. Moses (Morgan Kaufmann), 214-228
    • (1992) Theoretical Aspects of Reasoning about Knowledge - Proceedings of the , pp. 214-228
    • Voorbraak, F.1
  • 56
    • 60950448932 scopus 로고    scopus 로고
    • Rational Failures of the KK Principle
    • edited by C. Bicchieri, R. Jeffrey, and B. Skyrms Oxford: Oxford
    • Williamson, T. 1999, "Rational Failures of the KK Principle"University Pressin: The Logic of Strategy, edited by C. Bicchieri, R. Jeffrey, and B. Skyrms(Oxford: Oxford University Press), 101-118
    • (1999) The Logic of Strategy , pp. 101-118
    • Williamson, T.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.