Introducing justification into epistemic logic

Journal of Logic and Computation

Volumn 15, Issue 6, 2005, Pages 1059-1073

  Artemov, Sergei ^a   Nogina, Elena ^b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Epistemic lgoic; Justification; Knowledge; Logic of proofs

Indexed keywords

KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; MODAL ANALYSIS; SET THEORY;

EPISTEMIC LOGIC; JUSTIFICATION; KNOWLEDGE; LOGIC OF PROOFS;

FORMAL LOGIC;

EID: 29144513937     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exi053     Document Type: Article

References (50)

1. S. Artemov. Kolmogorov logic of problems and a provability interpretation of intuitionistic logic. In Theoretical Aspects of Reasoning about Knowledge - III Proceedings, pp. 257-272. Morgan Kaufman Pbl., 1990.
2. S. Artemov. Logic of proofs. Annals of Pure and Applied Logic, 67, 29-59, 1994.
3. S. Artemov. Operational modal logic. Technical Report MSI 95-29, Cornell University, 1995.
4. S. Artemov. Explicit provability and constructive semantics. Bulletin of Symbolic Logic, 7, 1-36, 2001.
5. S. Artemov. Evidence-based common knowledge. Technical Report TR-2004018, CUNY PhD Program in Computer Science, 2004. Revised version of 2005.
6. S. Artemov. Kolmogorov and Gödel's approach to intuitionistic logic: current developments. Russian Mathematical Surveys, 59, 203-229, 2004.
7. S. Artemov and L. Beklemishev. Provability logic. In Handbook of Philosophical Logic, 2nd ed., volume 13, D. Gabbay and F. Guenthner, eds, pp. 189-360. Springer, Dordrecht, 2004.
8. S. Artemov, E. Kazakov, and D. Shapiro. On logic of knowledge with justifications. Technical Report CFIS 99-12, Cornell University, 1999.
9. S. Artemov and E. Nogina. Logic of knowledge with justifications from the provability perspective. Technical Report TR-2004011, CUNY PhD Program in Computer Science, 2004.
10. S. Artemov and E. Nogina. Basic epistemic logics with justifications. Technical Report TR-2005004, CUNY PhD Program in Computer Science, 2005.
11. S. Artemov and E. Nogina. On epistemic logic with justification. In Theoretical Aspects of Rationality and Knowledge. Proceedings of the Tenth Conference (TARK 2005), June 10-12, 2005, Singapore, R. van der Meyden, ed., pp. 279-294. National University of Singapore, 2005.
12. L. Bonjour. The coherence theory of empirical knowledge. Philosophical Studies, 30, 281-312, 1976.
13. Reprinted in Contemporary Readings in Epistemology, M. F. Goodman and R. A. Snyder, eds, pp. 70-89. Prentice Hall, 1993.
14. G. Boolos. The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press, Cambridge, 1979.
15. G. Boolos. The Logic of Provability. Cambridge University Press, Cambridge, 1993.
16. V. Brezhnev. On explicit counterparts of modal logics. Technical Report CFIS 2000-05, Cornell University, 2000.
17. V. Brezhnev. On the logic of proofs. In Proceedings of the Sixth ESSLLI Student Session, Helsinki, pages 35-46, 2001. http://www.helsinki.fi/esslli/.
18. D. de Jongh and G. Japaridze. Logic of provability. In. Handbook of Proof Theory, S. Buss, ed., pp. 475-546. Elsevier, 1998.
19. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning About Knowledge. MIT Press, 1995.
20. M. Fitting. A semantics for the logic of proofs. Technical Report TR-2003012, CUNY PhD Program in Computer Science, 2003.
21. M. Fitting. Semantics and tableaus for LPS4. Technical Report TR-2004016, CUNY PhD Program in Computer Science, 2004.
22. M. Fitting. The logic of proofs, semantically. Annals of Pure and Applied Logic, 132, 1-25, 2005.
23. D.M. Gabbay. Labelled Deductive Systems. Oxford University Press, 1994.
24. E. Gettier. Is justified true belief knowledge? Analysis, 23, 121-123, 1963.
25. K. Gödel. Eine Interpretation des intuitionistischen Aussagenkalkuls. Ergebnisse Math. Kolloq., 4:39-40, 1933.
26. English translation in Kurt Gödel Collected Works, Vol. 1, S. Feferman et al., eds, pp. 301-303. Oxford University Press, Oxford, Clarendon Press, New York, 1986.
27. K. Gödel. Vortrag bei Zilsel, 1938. In. Kurt Gödel Collected Works. Volume III, S. Feferman, ed., pp. 86-113. Oxford University Press, 1995.
28. R. Goldblatt. Arithmetical necessity, provability and intuitionistic logic. Theoria, 44, 38-46, 1978.
29. A. Goldman. A causal theory of knowing. The Journal of Philosophy, 64, 335-372, 1967.
30. V. Hendricks. Active agents. JoLLI - The Journal of Language, Logic and Information, 12, 469-495, 2003.
31. S. Kleene. Introduction to Metamathematics. Van Norstrand, 1952.
32. A. Kolmogoroff. Zur Deutung der intuitionistischen logik. Mathematische Zeitschrift, 35:58-65, 1932.
33. In German. English translation in Selected works of A.N. Kolmogorov. Volume I: Mathematics and Mechanics, V.M. Tikhomirov, ed., pp. 151-158. Kluwer, Dordrecht 1991.
34. R. Kuznets. Logic of proofs as a measure of Hubert-style complexity. Logic Colloquium 2005, Athens, August 2005.
35. A.V. Kuznetsov and A.Yu. Muravitsky. Magari algebras. In Fourteenth All-Union Algebra Conf, Abstract part 2; Rings, Algebraic Structures, pp. 105-106, 1977. In Russian.
36. A.V. Kuznetsov and A.Yu. Muravitsky. On superintuitionistic logics as fragments of proof logic. Studia Logica, XLV, 76-99, 1986.
37. K. Lehrer and T. Paxson. Knowledge: Undefeated justified true belief. The Journal of Philosophy, 66, 1-22, 1969.
38. W. Lenzen. Knowledge, belief and subjective probability. In Knowledge Contributors, V. Hendricks, K. Jörgensen, and S. Pedersen, eds, pp. 17-31. Kluwer, 2003. Synthese Library Volume 322.
39. D. Lewis. Elusive knowledge. Australian Journal of Philosophy, 7, 549-567, 1996.
40. A. Mkrtychev. Models for the logic of proofs. In Logical Foundations of Computer Science ' 97, Yaroslavl ', volume 1234 of Lecture Notes in Computer Science, S. Adian and A. Nerode, eds, pp. 266-275. Springer, 1997.
41. Y. Moses. Resource-bounded knowledge. In Theoretical Aspects of Reasoning about Knowledge, M. Vardi, ed., pp. 261-276. Morgan Kaufman, 1988.
42. E. Nogina. Logic of proofs with the strong provability operator. Technical Report ILLC Prepublication Series ML-94-10, Institute for Logic, Language and Computation, University of Amsterdam, 1994.
43. E. Nogina. Grzegorczyk logic with arithmetical proof operators. Fundamental and Applied Mathematics, 2, 483-499, 1996. In Russian, URL http : //mech.math.msu.su/~fpm/eng/96/962/96206. htm.
44. E. Nogina. On logic of proofs and provability. Logic Colloquium 2005, Athens, August 2005. To appear in the Bulletin of Symbolic Logic, 2006.
45. R. Nozick. Philosophical Explanations. Harvard University Press, 1981.
46. R. Parikh. Knowledge and the problem of logical omniscience. In ISMIS-87 (International Symposium on Methodolody for Intellectual Systems), Z. Ras and M. Zemankova, eds, pp. 432-439. North-Holland, 1987.
47. R. Parikh. Logical omniscience. In Logic and Computational Complexity, D. Leivant, ed., pp. 22-29. Vol. 960 of Lecture Notes in Computer Science, Springer, 1995.
48. T. Sidon. Provability logic with operations on proofs. In Logical Foundations of Computer Science' 97, Yaroslavl', S. Adian and A. Nerode, eds, pp. 342-353. Volume 1234 of Lecture Notes in Computer Science, Springer, 1997.
49. J. van Benthem. Reflections on epistemic logic. Logique & Analyse, 133-134, 5-14, 1991.
50. T. Yavorskaya (Sidon). Logic of proofs and provability. Annals of Pure and Applied Logic, 113, 345-372, 2002.