TR-2006005: Logical Omniscience via Proof Complexity
暂无分享,去创建一个
[1] Rohit Parikh. Logical omniscience and common knowledge: WHAT do we know and what do WE know? , 2005, TARK.
[2] Melvin Fitting,et al. The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..
[3] Moshe Y. Vardi. On Epistemic Logic and Logical Omniscience , 1986, TARK.
[4] Alvin I. Goldman,et al. A Causal Theory of Knowing , 1967 .
[5] Laurence Bonjour,et al. The coherence theory of empirical knowledge , 1976 .
[6] Richard E. Ladner,et al. The Computational Complexity of Provability in Systems of Modal Propositional Logic , 1977, SIAM J. Comput..
[7] Sergei N. Artëmov,et al. Logic of knowledge with justifications from the provability perspective. , 2004 .
[8] Edmund L. Gettier. Is Justified True Belief Knowledge? , 1963, Arguing About Knowledge.
[9] J. Hintikka. Knowledge and belief , 1962 .
[10] Rohit Parikh. Knowledge and the Problem of Logical Omniscience , 1987, ISMIS.
[11] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning: Preliminary Report , 1985, IJCAI.
[12] Vincent F. Hendricks,et al. Active Agents , 2003, J. Log. Lang. Inf..
[13] Heinrich Wansing,et al. A general possible worlds framework for reasoning about knowledge and belief , 1990, Stud Logica.
[14] K. Konolige. A deduction model of belief , 1986 .
[15] Sergei N. Artëmov. Evidence-Based Common Knowledge , 2005 .
[16] Sergei N. Artëmov,et al. Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..
[17] Stephen Cook,et al. Corrections for "On the lengths of proofs in the propositional calculus preliminary version" , 1974, SIGA.
[18] Yoram Moses,et al. Resource-bounded Knowledge , 1988, TARK.
[19] Robert C. Moore. Reasoning About Knowledge in Artificial Intelligence , 1986, TARK.
[20] Sergei N. Artëmov. Justified common knowledge , 2006, Theor. Comput. Sci..
[21] Sergei N. Artëmov. Explicit provability and constructive semantics , 2001, Bull. Symb. Log..
[22] P. Pudlák. Chapter VIII - The Lengths of Proofs , 1998 .
[23] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[24] Rohit Parikh,et al. Logical Omniscience , 1994, LCC.
[25] Keith Lehrer,et al. Knowledge: Undefeated Justified True Belief , 1969 .
[26] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[27] Brian Logan,et al. Ascribing beliefs to resource bounded agents , 2002, AAMAS '02.
[28] Alexey Mkrtychev,et al. Models for the Logic of Proofs , 1997, LFCS.
[29] Robert J. Aumann. Reasoning About Knowledge in Economics , 1986, TARK.
[30] Jaakko Hintikka,et al. Impossible possible worlds vindicated , 1975, J. Philos. Log..
[31] Ronald Fagin,et al. A Nonstandard Approach to the Logical Omniscience Problem , 1990, Artif. Intell..
[32] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[33] Michel Bidoit,et al. A Rehabilitation of Robinson's Unification Algorithm , 1983, IFIP Congress.
[34] Sergei N. Artëmov,et al. On epistemic logic with justification , 2005, TARK.
[35] Nikolai V. Krupski,et al. On the complexity of the reflected logic of proofs , 2006, Theor. Comput. Sci..