On epistemic logic with justification

Proceedings of the Tenth Conference on the Theoretical Aspects of Rationality and Knowledge

Volumn , Issue , 2005, Pages 279-294

  Artemov, Sergei ^a   Nogina, Elena ^b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

EPISTEMIC LOGIC; KRIPKE MODELS;

KNOWLEDGE ACQUISITION;

EID: 29144460434     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (47)

1. S. Artemov. Kolmogorov logic of problems and a provability interpretation of intuitionistic logic. Theoretical Aspects of Reasoning about Knowledge - III Proceedings, Morgan Kaufman Pbl., pp. 257-272, 1990.
2. S. Artemov. Logic of Proofs. Annals of Pure and Applied Logic, v. 67, pp. 29-59, 1994.
3. S. Artemov. Operational Modal Logic. Tech. Rep. MSI 95-29, Cornell University, 1995.
4. S. Artemov. Explicit provability and constructive semantics. The Bulletin for Symbolic Logic, v. 7, No. 1, pp. 1-36, 2001.
5. S. Artemov. Kolmogorov's and Gödel's approach to intuitionistic logic: current developments. Russian Mathematical Surveys, v. 59, issue 2, pp. 203-229, 2004.
6. S. Artemov. Evidence-based common knowledge. Technical Report TR-2004018, CUNY Ph.D. Program in Computer Science, revised version, 2005. http://www.cs.gc.cuny.edu/tr/techreport.php?id=140.
7. S. Artemov and L. Beklemishev. Provability logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd ed., v. 13, pp. 229-403, Kluwer, Dordrecht, 2004.
8. S. Artemov, E. Kazakov and D. Shapiro. On logic of knowledge with justifications. Technical Report CFIS 99-12, Cornell University, 1999. http://www.cs.gc.cuny.edu/~sartemov/publications/S5LP.ps.
9. S. Artemov and E. Nogina. Logic of knowledge with justifications from the provability perspective. Technical Report TR-2004011, CUNY Ph.D. Program in Computer Science, 2004. http://www.cs.gc.cuny.edu/tr/techreport.php?id=106.
10. V. Brezhnev. On explicit counterparts of modal logics. Technical Report CFIS 2000-05, Cornell University, 2000.
11. V. Brezhnev. On the logic of proofs. In Proceedings of the Sixth ESSLLI Student Session, Helsinki, pp. 35-46, 2001. http://www.helsinki.fi/esslli/.
12. L. Bonjour. The Coherence Theory of Empirical Knowledge. Philosophical Studies, v. 30, pp. 281-312.
13. Reprinted in Contemporary Readings in Epistemology, M.F. Goodman and R.A. Snyder (eds). Prentice Hall, pp. 70-89, 1993.
14. G. Boolos, The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, 1979.
15. G. Boolos, The Logic of Provability, Cambridge University Press, 1993.
16. D. de Jongh and G. Japaridze. The Logic of Provability. Ed. S. Buss, Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, v. 137., Elsevier, pp. 475-546, 1998.
17. R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning About Knowledge, MIT Press, 1995.
18. M. C. Fitting. A semantics for the logic of proofs. Technical Report TR-2003012, CUNY Ph.D. Program in Computer Science, 2003.
19. M. C. Fitting. Semantics and Tableaus for LPS4. Technical Report TR-2004016, CUNY Ph.D. Program in Computer Science, 2004.
20. M.C. Fitting. A logic of explicit knowledge. To appear in Logica 2004 Proceedings.
21. M. C. Fitting. The logic of proofs, semantically. Annals of Pure and Applied Logic, v. 132, pp. 1-25, 2005.
22. D.M. Gabbay. Labelled Deductive Systems, Oxford University Press, 1994.
23. E. Gettier. Is Justified True Belief Knowledge? Analysis, v. 23, pp. 121-123, 1963
24. K. Gödel. Eine Interpretation des intuitionistischen Aussagenkalkuls. Ergebnisse Math. Colloq., Bd. 4 (1933), S. 39-40.
25. K. Gödel. Vortrag bei Zilsel (1938). In S. Feferman, ed. Kurt Gödel Collected Works. Volume III, Oxford University Press, 1995.
26. R. Goldblatt Arithmetical necessity, provability and intuitionistic logic, Theoria, v. 44, pp. 38-46, 1978.
27. A. Goldman. A Causal Theory of Knowing. The Journal of Philosophy, v. 64, pp. 335-372, 1967
28. V. Hendricks. Active Agents. JoLLI - The Journal of Language, Logic and Information, v. 12, No. 4. pp. 469-495, 2003
29. S. Kleene. Introduction to Metamathematics, Van Norstrand, 1952.
30. A. Kolmogoroff. Zur Deutung der intuitionistischen logik. Mathematische Zeitschrift, v. 35, pp. 58-65, 1932. In German.
31. English translation in V.M. Tikhomirov, editor, Selected works of A.N. Kolmogorov. Volume I: Mathematics and Mechanics, pp. 151-158. Kluwer, Dordrecht 1991.
32. A.V. Kuznetsov and A.Yu. Muravitsky. Magari algebras. Fourteenth All-Union Algebra Conf., Abstract part 2: Rings, Algebraic Structures, pp. 105-106, 1977 (in Russian)
33. A.V. Kuznetsov and A.Yu. Muravitsky. On superintuitionistic logics as fragments of proof logic. Studio, Logica, v. XLV, pp. 76-99, 1986
34. K. Lehrer and T. Paxson. Knowledge: Undefeated Justified True Belief. The Journal of Philosophy v. 66, pp. 1-22, 1969
35. W. Lenzen. Knowledge, Belief and Subjective Probability. In V. Hendricks, K. Jörgensen, S. Pedersen, editors, Knowledge Contributors, Kluwer, 2003.
36. D. Lewis. Elusive Knowledge. Australian Journal of Philosophy v. 7, pp. 549-567, 1996.
37. A. Mkrtychev. Models for the Logic of Proofs. Lecture Notes in Computer Science, v. 1234, Logical Foundations of Computer Science' 97, Yaroslavl', pp. 266-275, 1997.
38. Y. Moses. Resource-bounded knowledge. In Theoretical Aspects of Reasoning about Knowledge, ed. M. Vardi, Morgan Kaufmann, pp. 261-276, 1988.
39. E. Nogina. Logic of proofs with the strong provability operator. ILLC Prepublication Series ML-94-10, Institute for Logic, Language and Computation, University of Amsterdam, 1994.
40. E. Nogina. Grzegorczyk logic with arithmetical proof operators. Fundamental and Applied Mathematics, v. 2, No. 2, pp. 483-499, (Russian), 1996 http://mech.math.msu.su/fpm/eng/96/962/96206.htm
41. E. Nogina. On Logic of Proofs and Provability. To appear in The Bulletin of Symbolic Logic in the proceedings of the Association for Symbolic Logic European Summer Meeting, Athens, Greece, 2005
42. R. Nozick. Philosophical Explanations. Harvard University Press. 1981.
43. R. Parikh. Knowledge and the problem of logical omniscience. ISMIS-87 (International Symposium on Methodolody for Intellectual Systems). Ed. Z. Ras and M. Zemankova, North Holland, pp. 432-439, 1987.
44. R. Parikh. Logical omniscience. In Logic and Computational Complexity, Ed. Leivant, Springer Lecture Notes in Computer Science, v. 960, pp. 22-29, 1995.
45. T. Sidon. Provability Logic with Operations on Proofs. Lecture Notes in Computer Science, v. 1234, Logical Foundations of Computer Science' 97, Yaroslavl', pp. 342-353, 1997.
46. J. van Benthem. Reflections on epistemic logic. Logique & Analyse, v. 133-134, pp. 5-14, 1991.
47. T. Yavorskaya (Sidon). Logic of proofs and provability. Annals of Pure and Applied Logic, v. 113, pp. 345-372, 2002.