An epistemic logic for becoming informed

Synthese

Volumn 167, Issue 2, 2009, Pages 363-389

  Primiero, Giuseppe ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

Epistemic logic; Logic of justification; Modal logic; Philosophy of information

Indexed keywords

EID: 60349129746     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1007/s11229-008-9413-8     Document Type: Conference Paper

References (32)

1. S. Akama 2006 Infon logic based on constructive logic Logique & Analyse 49 194 119 136
2. Allo P. (2005). Being informative. In: Althoff, K.-D., Dengel, A., Bergmann, R., Nick, M. and Roth-Berghofer, T. (eds) WM2005: professional knowledge management experiences and visions, pp 579-586. Kaiserslautern, DFKI Gmbh
3. S. Artemov 1994 Logic of proofs Annals of Pure and Applied Logic 67 2 29 59
4. S. Artemov 2001 Explicit provability and constructive semantics The Bulletin of Symbolic Logic 7 1 1 36
5. S. Artemov E. Nogina 2005 Introducing justification to epistemic logic Journal of Logic and Computation 15 6 1059 1073
6. A. Baltag L.S. Moss 2004 Logics for epistemic programs Synthese 139 165 224
7. G.M. Bierman V. de Paiva 2000 On an intuitionistic modal logic Studia Logica 65 383 416
8. Bellin, G., de Paiva, V., & Ritter, E. (2001). Extended curry-howard correspondence for a basic constructive modal logic. preprint, presented at M4M-2, ILLC, Amsterdam.
9. S. Buvac V. Buvac I. Mason 1995 Metamathematics of contexts Fundamenta Informaticae 23 3 263 301
10. Coquand, T., & Huet, G. (1986). The calculus of constructions. Rapports de Rechérche n. 530. Institut National de Rechérche en Informatique et en Automatique, Rocquencourt.
11. Coquand, T., & Huet, G. (1988). The calculus of constructions. Information and Computation, 76(2-3).
12. Curry H.B. and Feys R. (1958). Combinatory logic (Vol. I). North-Holland, Amsterdam
13. Demolombe, R. (2004). Reasonig about trust: A formal logical framework. In Proceedings of the 2nd International Conference iTrust, Oxford.
14. J.H. Fetzer 2004 Information: Does it have to be true? Minds & Machines 14 2 223 229
15. Fitting, M. (2005a). A logic of explicit knoweldge. In The logica yearbook 2004 (pp. 11-22). Prague: Filosofia Publisher, Institute of Philosophy, Czech Academy of Sciences.
16. M. Fitting 2005 The logic of proofs, semantically Annals of Pure and Applied Logic 132 1 25
17. L. Floridi 2004 Outline of a theory of strongly semantic information Minds and Machines 14 223 229
18. L. Floridi 2005 Is information meaningful data? Philosophy and Phenomenological Research 70 2 351 370
19. L. Floridi 2006 The logic of being informed Logique & Analyse 49 196 433 460
20. L. Floridi 2007 In defence of the veridical nature of semantic information European Journal of Analytic Philosophy 3 1 31 42
21. Howard W.A. (1980). The formulae-as-types notion of construction. In: In; Seldin, J.P. and Hindley, J.R. (eds) To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism, pp 479-490. Academic Press, London
22. Jonker, C. M., & Treur, J. (1999). Formal analysis of models for the dynamics of trust based on experiences. In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: Multi-Agent System Engineering (MAAMAW-99).
23. Martin-Löf, P. (1993). Philosophical aspects of intuitionistic type theory. Unpublished notes by M. Wijers from lectures given at the Faculteit der Wijsbegeerte, Rijksuniversiteit Leiden.
24. McCarthy, J. (1993). Notes on formalizing context. In Proceedings of the 13th Joint Conference on Artificial Intelligence (IJCAI-93), pp. 555-560.
25. G. Primiero 2007 An epistemic constructive definition of information Logique & Analyse 50 200 391 416
26. Primiero, G. (2008). Information and knowledge-a constructive type-theoretical approach. In Logic, epistemology and the unity of science (Vol. 10). Springer.
27. Rante A. (1994). Type-theoretical grammar. Oxford University Press, Oxford
28. G. Sambin S. Valentini 1982 The modal logic of provability The sequential approach. Journal of Philosophical Logic 11 311 342
29. T.W. Satre 1972 Natural deduction rules for modal logics Notre Dame Journal of Formal Logic 8 4 461 475
30. J.P. Seldin 1997 On the proof-theory of Coquand's calculus of constructions Annals of Pure and Applied Logic 83 23 101
31. J.P. Seldin 2000 A Gentzen-style sequent calculus of constructions with expansion rules Theoretical Computer Science 243 1-2 199 215
32. S. Sequoiah-Grayson 2007 The metaphilosophy of information Minds & Machines 17 3 331 344