TR-2008010: The Logic of Justification
暂无分享,去创建一个
[1] Richard L. Mendelsohn,et al. First-Order Modal Logic , 1998 .
[2] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[3] J. McCarthy,et al. On the model theory of knowledge , 1978 .
[4] V. Svejdar. On provability logic , 1999 .
[5] Vincent F. Hendricks,et al. Mainstream and formal epistemology , 2005 .
[6] Sergei N. Artëmov. On Two Models of Provability , 2007 .
[7] A. Heyting. Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie , 1935 .
[8] Jaakko Hintikka,et al. Impossible possible worlds vindicated , 1975, J. Philos. Log..
[9] Sergei N. Artëmov,et al. Logic of knowledge with justifications from the provability perspective. , 2004 .
[10] Robert Saxon Milnikel. Derivability in certain subsystems of the Logic of Proofs is Pi2p-complete , 2007, Ann. Pure Appl. Log..
[11] Natalia Rubtsova. Evidence Reconstruction of Epistemic Modal Logic S5 , 2006, CSR.
[12] Vincent F. Hendricks,et al. Active Agents , 2003, J. Log. Lang. Inf..
[13] H. Kurokawa,et al. From the Knowability Paradox to the existence of proofs , 2010, Synthese.
[14] Edmund L. Gettier. Is Justified True Belief Knowledge? , 1963, Arguing About Knowledge.
[15] J. Hintikka. On denoting what? , 2005, Synthese.
[16] Sergei N. Artemovy. Operational Modal Logic , 1995 .
[17] Nikolai V. Krupski,et al. On the complexity of the reflected logic of proofs , 2006, Theor. Comput. Sci..
[18] Helmut Schwichtenberg,et al. Basic proof theory , 1996, Cambridge tracts in theoretical computer science.
[19] Sergei N. Artëmov. Symmetric Logic of Proofs , 2008, Pillars of Computer Science.
[20] Sergei N. Artëmov,et al. Logical Omniscience Via Proof Complexity , 2006, CSL.
[21] Tatiana Yavorskaya. Multi-agent Explicit Knowledge , 2006, CSR.
[22] Melvin Fitting. TR-2003012: A Semantics for the Logic of Proofs , 2003 .
[23] Robert Stalnaker. Knowledge, Belief and Counterfactual Reasoning in Games , 1996, Economics and Philosophy.
[24] Evangelia Antonakos. Justified and Common Knowledge: Limited Conservativity , 2007, LFCS.
[25] J. Armstrong. Knowledge and Belief , 1953 .
[26] Keith Lehrer,et al. Knowledge: Undefeated Justified True Belief , 1969 .
[27] Alvin I. Goldman,et al. A Causal Theory of Knowing , 1967 .
[28] G. Boolos. The logic of provability , 1993 .
[29] Roman Kuznets,et al. Making knowledge explicit: How hard it is , 2006, Theor. Comput. Sci..
[30] Sergei N. Artëmov. Justified common knowledge , 2006, Theor. Comput. Sci..
[31] Sergei N. Artëmov,et al. Functionality in the Basic Logic of Proofs , 1993 .
[32] Vladimir Krupski,et al. The single-conclusion proof logic and inference rules specification , 2001, Ann. Pure Appl. Log..
[33] Sergei N. Artëmov,et al. Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..
[34] G. P. Henderson,et al. An Essay in Modal Logic. , 1953 .
[35] B. Russell,et al. Problems Of Philosophy , 2004, Synthese.
[36] B. Russell,et al. Introduction to Mathematical Philosophy , 1920, The Mathematical Gazette.
[37] Yoram Moses,et al. Resource-bounded Knowledge , 1988, TARK.
[38] Vladimir Krupski,et al. Referential logic of proofs , 2006, Theor. Comput. Sci..
[39] Evan Goris,et al. Explicit Proofs in Formal Provability Logic , 2007, LFCS.
[40] Edward L. Keenan,et al. The Intensional Logic , 1985 .
[41] Stephen Cole Kleene,et al. On the interpretation of intuitionistic number theory , 1945, Journal of Symbolic Logic.
[42] A. Troelstra. Constructivism in mathematics , 1988 .
[43] Rohit Parikh. Knowledge and the Problem of Logical Omniscience , 1987, ISMIS.
[44] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning: Preliminary Report , 1985, IJCAI.
[45] E. Pacuit. A Note on Some Explicit Modal Logics , 2005 .
[46] Sergei N. Artëmov,et al. Complexity issues in justification logic , 2008 .
[47] Roman Kuznets. On the Complexity of Explicit Modal Logics , 2000, CSL.
[48] Yuri Gureoich. Intuitionistic Logic , 2008 .
[49] Alexey Mkrtychev,et al. Models for the Logic of Proofs , 1997, LFCS.
[50] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[51] Sergei N. Artëmov. Explicit provability and constructive semantics , 2001, Bull. Symb. Log..
[52] G. Frege. On Sense and Reference , 1948 .
[53] Melvin Fitting,et al. The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..